diff options
| -rw-r--r-- | parsing/egrammar.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/parsing/egrammar.ml b/parsing/egrammar.ml index ade148afec..e7a6bdd1ba 100644 --- a/parsing/egrammar.ml +++ b/parsing/egrammar.ml @@ -363,7 +363,9 @@ let number_of_entries gcl = let unfreeze (grams, lex) = let (undo, redo, common) = factorize_grams !grammar_state grams in - remove_grammars (number_of_entries undo); + let n = number_of_entries undo in + remove_grammars n; + remove_levels n; grammar_state := common; Lexer.unfreeze lex; List.iter extend_grammar (List.rev redo) |