From 503f7db224c7afaa82ce1f0aea538bd2af0cf31a Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Tue, 10 Apr 2018 22:40:02 +0200 Subject: [PATCH] Fix bug #9348 --- src/mathed/InsetMathBrace.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/mathed/InsetMathBrace.h b/src/mathed/InsetMathBrace.h index b28cd05e7d..82393e97fc 100644 --- a/src/mathed/InsetMathBrace.h +++ b/src/mathed/InsetMathBrace.h @@ -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; ///