This commit is contained in:
Richard Heck 2018-02-24 00:36:55 -05:00
parent c86184ce3d
commit 12db09aac2

View File

@ -720,7 +720,7 @@ string Parser::verbatim_item()
if (next_token().cat() == catBegin) {
Token t = get_token(); // skip brace
string res;
for (Token t = get_token(); t.cat() != catEnd && good(); t = get_token()) {
for (t = get_token(); t.cat() != catEnd && good(); t = get_token()) {
if (t.cat() == catBegin) {
putback();
res += '{' + verbatim_item() + '}';