using std::ostream;
using std::endl;
+using std::auto_ptr;
InsetEnvironment::InsetEnvironment
}
-InsetEnvironment::InsetEnvironment(InsetEnvironment const & in, bool same_id)
- : InsetText(in, same_id), layout_(in.layout_)
+InsetEnvironment::InsetEnvironment(InsetEnvironment const & in)
+ : InsetText(in), layout_(in.layout_)
{}
-Inset * InsetEnvironment::clone(Buffer const &, bool same_id) const
+auto_ptr<InsetBase> InsetEnvironment::clone() const
{
- return new InsetEnvironment(*this, same_id);
+ return auto_ptr<InsetBase>(new InsetEnvironment(*this));
}