auto rewritten with only one tail recursive function.

[helm.git] / matita / matita.ml

diff --git a/matita/matita.ml b/matita/matita.ml
index a23558aa85e0ff83ca12707b4c732a4ba6db829c..5df8656cdbb4cdbdffb930971c2ea4a0b19210ff 100644 (file)
--- a/matita/matita.ml
+++ b/matita/matita.ml
@@ -258,6 +258,8 @@ let _ =
         ~doc:(HExtlib.unopt (mview ())#get_document) ~name:"matita.xml" ())); *)
     addDebugItem "load (sequent) MathML from matita.xml"
       (fun _ -> (mview ())#load_uri ~filename:"matita.xml");
+    addDebugItem "autoWin"
+    (fun _ -> MatitaAutoGui.auto_dialog Auto.get_auto_status);
   end
   (** Debugging }}} *)