interim version (added smallLexer)

[helm.git] / matitaB / components / grafite_parser / grafiteParser.ml

diff --git a/matitaB/components/grafite_parser/grafiteParser.ml b/matitaB/components/grafite_parser/grafiteParser.ml
index 2c9f44554ad00a2edce564643be7c11ab880f81c..ca2224ff5a35766adfd7ea3504e9f724b0d6a166 100644 (file)
--- a/matitaB/components/grafite_parser/grafiteParser.ml
+++ b/matitaB/components/grafite_parser/grafiteParser.ml
@@ -662,7 +662,8 @@ let extend status l1 action =
 ;;
 
 
-let parse_statement status = 
+let parse_statement status =
+  status#reset_loctable (); 
   parse_statement status#parser_db
 
 (* vim:set foldmethod=marker: *)