#include <boost/scoped_ptr.hpp>
using std::auto_ptr;
+using std::endl;
MathExIntInset::MathExIntInset(string const & name)
void MathExIntInset::metrics(MetricsInfo &, Dimension &) const
{
- lyxerr << "should not happen\n";
+ lyxerr << "should not happen" << endl;
}
void MathExIntInset::draw(PainterInfo &, int, int) const
{
- lyxerr << "should not happen\n";
+ lyxerr << "should not happen" << endl;
}
void MathExIntInset::write(WriteStream &) const
{
- lyxerr << "should not happen\n";
+ lyxerr << "should not happen" << endl;
}