From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 22 Mar 2011 16:39:35 +0000 (+0000)
Subject: Debugging code removed.
X-Git-Tag: make_still_working~2556
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7f72de8dea7fc5b9472ba63fb020419efd7cd183;p=helm.git

Debugging code removed.
---

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 =