using std::ostream;
using std::max;
+using std::auto_ptr;
InsetSpecialChar::InsetSpecialChar(Kind k)
}
-InsetBase * InsetSpecialChar::clone() const
+auto_ptr<InsetBase> InsetSpecialChar::clone() const
{
- return new InsetSpecialChar(kind_);
+ return auto_ptr<InsetBase>(new InsetSpecialChar(kind_));
}