#include "InsetMathBoxed.h"
#include "MathData.h"
-#include "MathMLStream.h"
+#include "MathStream.h"
#include "MathParser.h"
#include "MathStream.h"
#include "LaTeXFeatures.h"
}
-void InsetMathBoxed::infoize(std::ostream & os) const
+void InsetMathBoxed::infoize(odocstream & os) const
{
os << "Boxed: ";
}