Avoid an infinite loop

When pasting "\big" without any following delimiter, avoid
processing the same token again and again. For unknown reasons,
the delim docstring turns out to always be not empty: even when
it simply contains a '0' (no delimiter follows), its length is 1.

Fixes bug #11027.
This commit is contained in:
Enrico Forestieri 2018-02-09 23:35:33 +01:00
parent 8f86b72cf4
commit 8e8b3f6104

View File

@ -2000,7 +2000,10 @@ bool Parser::parse1(InsetMathGrid & grid, unsigned flags,
new InsetMathBig(t.cs(), delim))); new InsetMathBig(t.cs(), delim)));
else { else {
cell->push_back(createInsetMath(t.cs(), buf)); cell->push_back(createInsetMath(t.cs(), buf));
putback(); // For some reason delim.empty()
// is always false here
if (delim.at(0))
putback();
} }
} }