#include "MathData.h"
#include "MathSupport.h"
#include "MathParser.h"
-#include "MathMLStream.h"
+#include "MathStream.h"
#include "MathStream.h"
#include "LaTeXFeatures.h"
}
-void InsetMathDecoration::infoize(std::ostream & os) const
+void InsetMathDecoration::infoize(odocstream & os) const
{
os << "Deco: " << key_->name;
}