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