Improved debugging code.

[helm.git] / helm / software / matita / matita.ml

diff --git a/helm/software/matita/matita.ml b/helm/software/matita/matita.ml
index ec97442ace47dfa50e3123ea6cee8f9b87fcfbb1..6a4635c5d6477513caf4097ad8353f854ac79b58 100644 (file)
--- a/helm/software/matita/matita.ml
+++ b/helm/software/matita/matita.ml
@@ -206,9 +206,9 @@ let _ =
       (fun _ -> MatitaGui.all_disambiguation_passes := false);
     addDebugSeparator ();
     addDebugItem "enable refiner/unification logging"
-      (fun _ -> NCicRefiner.debug := true; NCicUnification.debug := true;);
+      (fun _ -> NCicRefiner.debug := true; NCicUnification.debug := true; MultiPassDisambiguator.debug := true);
     addDebugItem "disable refiner/unification logging"
-      (fun _ -> NCicRefiner.debug := false; NCicUnification.debug := false;);
+      (fun _ -> NCicRefiner.debug := false; NCicUnification.debug := false; MultiPassDisambiguator.debug := false);
     addDebugSeparator ();
     addDebugItem "enable reduction logging"
       (fun _ -> NCicReduction.debug := true);