#include "math_symbolinset.h"
#include "debug.h"
+#include <boost/smart_ptr.hpp>
+
using std::endl;
void MathExIntInset::mathmlize(MathMLStream & os) const
{
- MathSymbolInset * sym = new MathSymbolInset(symbol_);
+ boost::scoped_ptr<MathSymbolInset> sym(new MathSymbolInset(symbol_));
//if (hasScripts())
// mathmlize(sym, os);
//else
sym->mathmlize(os);
- delete sym;
os << cell(0) << "<mo> ⁢ </mo>"
<< MTag("mrow") << "<mo> ⅆ </mo>"
<< cell(1) << ETag("mrow");