X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.ml;h=a8a031273b309a05f7316449d4ed57e46c8d1f24;hb=23655c60730b9b433483cd31f78381d6a6d8872c;hp=2cbb9a9a1350cd2303712637c3705d42c22e21e3;hpb=1ac56131763867ef875c1ec8d09a1be088dc7080;p=helm.git

diff --git a/matita/matita.ml b/matita/matita.ml
index 2cbb9a9a1..a8a031273 100644
--- a/matita/matita.ml
+++ b/matita/matita.ml
@@ -191,6 +191,10 @@ let _ =
       (fun _ ->
         CicNotation.set_active_notations
           (List.map fst (CicNotation.get_all_notations ())));
+    addDebugItem "enable coercions hiding"
+      (fun _ -> TermAcicContent.hide_coercions := true);
+    addDebugItem "disable coercions hiding"
+      (fun _ -> TermAcicContent.hide_coercions := false);
   end
   (** Debugging }}} *)