]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/components/grafite_parser/grafiteParser.ml
Debugging code removed.
[helm.git] / matita / components / grafite_parser / grafiteParser.ml
index 2e64c9143b092aef1c4826f47e6badfcee23090c..aeb0080c4fa163023069d8d2e681fffccf46933c 100644 (file)
@@ -46,7 +46,6 @@ type parsable = Grammar.parsable * Ulexing.lexbuf
 
 let parsable_statement status buf =
  let grammar = CicNotationParser.level2_ast_grammar status in
-List.iter (fun (x,_) -> prerr_endline ("TOK: " ^ x)) (Grammar.tokens grammar "");
   Grammar.parsable grammar (Obj.magic buf), buf
 
 let parse_statement grafite_parser parsable =