X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fgrafite_parser%2Ftest_parser.ml;fp=matita%2Fcomponents%2Fgrafite_parser%2Ftest_parser.ml;h=7e2eb795597445fba8088b18f4711334402086fb;hb=f68f58e17f9be1d3760dd79064fb950d1aa885e1;hp=5cb8a3a34678a7e36db8bd27e0f1f0e5cf6a4980;hpb=99a43adccee356e3d6057f67114c5cf08518b3f3;p=helm.git

diff --git a/matita/components/grafite_parser/test_parser.ml b/matita/components/grafite_parser/test_parser.ml
index 5cb8a3a34..7e2eb7955 100644
--- a/matita/components/grafite_parser/test_parser.ml
+++ b/matita/components/grafite_parser/test_parser.ml
@@ -97,11 +97,6 @@ let process_stream istream =
                      GrafiteAstPp.pp_statement statement
                       ~map_unicode_to_tex:(Helm_registry.get_bool
                         "matita.paste_unicode_as_tex"))
-(*
-                      ~term_pp:NotationPp.pp_term
-                      ~lazy_term_pp:(fun _ -> "_lazy_term_here_")
-                      ~obj_pp:(fun _ -> "_obj_here_")
-                      statement)*)
         with
         | End_of_file -> raise End_of_file
         | HExtlib.Localized (floc,CicNotationParser.Parse_error msg) ->