- setters for data structures now support "commuting conversion"-like

[helm.git] / helm / software / matita / matitaGui.mli

diff --git a/helm/software/matita/matitaGui.mli b/helm/software/matita/matitaGui.mli
index 8c9064e1da3a49e79e4f9447b6c038e9d20732c0..388c79e1a74dd903372c72716dd7da57d191e6bb 100644 (file)
--- 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