+#include <config.h>
+
#ifdef __GNUG__
#pragma implementation
#endif
#include "math_dotsinset.h"
-#include "mathed/support.h"
-#include "support/LOstream.h"
-
-using std::ostream;
+#include "math_mathmlstream.h"
+#include "math_streamstr.h"
+#include "math_support.h"
MathDotsInset::MathDotsInset(string const & name)
}
-void MathDotsInset::write(MathWriteInfo & os) const
+void MathDotsInset::write(WriteStream & os) const
{
os << '\\' << name_ << ' ';
}
-void MathDotsInset::writeNormal(ostream & os) const
+void MathDotsInset::normalize(NormalStream & os) const
{
os << "[" << name_ << "] ";
}