class Correction {
public:
///
+ /// \brief Correction
+ // it is fine not to initialize from2_
+ // coverity[UNINIT_CTOR]
Correction() {}
///
bool correct(MathAtom & at, char_type c) const;
}
+#if 0
idocstream & operator>>(idocstream & is, Correction & corr)
{
corr.read(is);
corr.write(os);
return os;
}
-
+#endif