}
-void MathUnknownInset::setName(string const & name) const
+void MathUnknownInset::setName(string const & name)
{
name_ = name;
}
-bool MathUnknownInset::match(MathInset const * p) const
+bool MathUnknownInset::match(MathAtom const & at) const
{
- MathUnknownInset const * q = p->asUnknownInset();
+ MathUnknownInset const * q = at->asUnknownInset();
return q && name_ == q->name_;
}
}
-void MathUnknownInset::finalize() const
+void MathUnknownInset::finalize()
{
final_ = true;
}