#include <config.h>
#include "InsetMathExInt.h"
-#include "MathArray.h"
+#include "MathData.h"
#include "MathStream.h"
#include "MathStream.h"
#include "InsetMathSymbol.h"
// 3 - upper
-auto_ptr<InsetBase> InsetMathExInt::doClone() const
+auto_ptr<Inset> InsetMathExInt::doClone() const
{
- return auto_ptr<InsetBase>(new InsetMathExInt(*this));
+ return auto_ptr<Inset>(new InsetMathExInt(*this));
}