From 43a02c4fb44452e97cf995a58d0e8db5aecc8d08 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 1 Dec 2002 11:58:40 +0000
Subject: Synchro level (suite)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3347 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/egrammar.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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)
-- 
cgit v1.2.3