}
-void Correction::write(odocstream & os) const
-{
- os << "from: '" << from1_ << "' and '" << from2_
- << "' to '" << to_ << '\'' << endl;
-}
-
-
bool Correction::correct(MathAtom & at, char_type c) const
{
//LYXERR(Debug::MATHED,
#if 0
+void Correction::write(odocstream & os) const
+{
+ os << "from: '" << from1_ << "' and '" << from2_
+ << "' to '" << to_ << '\'' << endl;
+}
+
+
idocstream & operator>>(idocstream & is, Correction & corr)
{
corr.read(is);