From 7f72de8dea7fc5b9472ba63fb020419efd7cd183 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 22 Mar 2011 16:39:35 +0000 Subject: [PATCH] Debugging code removed. --- matita/components/grafite_parser/grafiteParser.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/matita/components/grafite_parser/grafiteParser.ml b/matita/components/grafite_parser/grafiteParser.ml index 2e64c9143..aeb0080c4 100644 --- a/matita/components/grafite_parser/grafiteParser.ml +++ b/matita/components/grafite_parser/grafiteParser.ml @@ -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 = -- 2.39.2