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

diff --git a/matita/components/grafite_parser/test_parser.ml b/matita/components/grafite_parser/test_parser.ml
index 72d6e981d..500c2420f 100644
--- a/matita/components/grafite_parser/test_parser.ml
+++ b/matita/components/grafite_parser/test_parser.ml
@@ -91,13 +91,6 @@ let process_stream istream =
                   | Some id ->
                       prerr_endline "removing last notation rule ...";
                       NotationParser.delete id) *)
-              | G.Executable (_, G.Macro (_, G.Check (_, t))) -> 
-                  prerr_endline (sprintf "ast: %s" (NotationPp.pp_term t));
-                  let t' = TermContentPres.pp_ast t in
-                  prerr_endline (sprintf "rendered ast: %s"
-                    (NotationPp.pp_term t'));
-                  let tbl = Hashtbl.create 0 in
-                  dump_xml t' tbl "out.xml"
               | statement ->
                   prerr_endline
                    ("Unsupported statement: " ^