This commit is contained in:
Enrico Forestieri 2018-04-10 22:40:02 +02:00
parent bda9e38ade
commit 503f7db224

View File

@ -29,8 +29,6 @@ public:
InsetMathBrace * asBraceInset() { return this; }
/// identifies brace insets
InsetMathBrace const * asBraceInset() const { return this; }
/// we write extra braces in any case...
bool extraBraces() const { return true; }
///
void metrics(MetricsInfo & mi, Dimension & dim) const;
///