From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Sep 2005 13:24:22 +0000 (+0000)
Subject: added moo dumping debug item
X-Git-Tag: V_0_1_2_1~23
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4d6cbf79c1202f541c3a63af05fd426427b94423;p=helm.git

added moo dumping debug item
---

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index b9019a035..6e5af0645 100644
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -149,6 +149,10 @@ let _ =
         (CoercDb.to_list ()));
     addDebugItem "print top-level grammar entries"
       CicNotationParser.print_l2_pattern;
+    addDebugItem "dump moo to stderr" (fun _ ->
+      let status = (MatitaScript.instance ())#status in
+      List.iter (fun cmd -> prerr_endline
+        (GrafiteAstPp.pp_command cmd)) (List.rev status.moo_content_rev));
     addDebugItem "rotate light bulbs"
       (fun _ ->
          let nb = gui#main#hintNotebook in