X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2FmatitaGui.mli;fp=helm%2Fsoftware%2Fmatita%2FmatitaGui.mli;h=388c79e1a74dd903372c72716dd7da57d191e6bb;hb=31c099c46eba26ee5ace403fb2cc0a68616bb887;hp=8c9064e1da3a49e79e4f9447b6c038e9d20732c0;hpb=51f6f4155c188d03333a2c8b8d537aeaff13ccdd;p=helm.git

diff --git a/helm/software/matita/matitaGui.mli b/helm/software/matita/matitaGui.mli
index 8c9064e1d..388c79e1a 100644
--- a/helm/software/matita/matitaGui.mli
+++ b/helm/software/matita/matitaGui.mli
@@ -23,6 +23,9 @@
  * http://helm.cs.unibo.it/
  *)
 
+  (** for debugging only *)
+val all_disambiguation_passes: bool ref
+
   (** singleton instance of the gui *)
 val instance: unit -> MatitaGuiTypes.gui