using std::ostream;
using std::endl;
+using std::auto_ptr;
InsetEnvironment::InsetEnvironment
{}
-InsetBase * InsetEnvironment::clone() const
+auto_ptr<InsetBase> InsetEnvironment::clone() const
{
- return new InsetEnvironment(*this);
+ return auto_ptr<InsetBase>(new InsetEnvironment(*this));
}