#include <iterator>
-using std::vector;
-using std::istringstream;
-using std::getline;
-using std::istream_iterator;
+
+using std::string;
using std::auto_ptr;
{}
-auto_ptr<InsetBase> MathTabularInset::clone() const
+auto_ptr<InsetBase> MathTabularInset::doClone() const
{
return auto_ptr<InsetBase>(new MathTabularInset(*this));
}