///
void writeNormal(std::ostream &) const;
///
- void metrics(MathMetricsInfo const & st) const;
+ void metrics(MathMetricsInfo const &) const;
/// identifies BoxInsets
MathBoxInset * asBoxInset() { return this; }
/// unimplemented
void operator=(MathBoxInset const &);
+ ///
+ mutable MathMetricsInfo mi_;
///
string name_;
///