#include "math_symbolinset.h"
#include "debug.h"
+#include <boost/scoped_ptr.hpp>
+
+using std::string;
using std::auto_ptr;
using std::endl;
// 3 - upper
-auto_ptr<InsetBase> MathExIntInset::clone() const
+auto_ptr<InsetBase> MathExIntInset::doClone() const
{
return auto_ptr<InsetBase>(new MathExIntInset(*this));
}