X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite_parser%2Ftest_parser.ml;h=5cb8a3a34678a7e36db8bd27e0f1f0e5cf6a4980;hb=560db5569f54fba5bded568699a33947f88df3ba;hp=500c2420f1c002c2aa9019b5af53b1f18cd716c4;hpb=729e08f5fb86b3ffee460fda4577b024ab5888aa;p=helm.git

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