bugfix: use utf8-aware substring function

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

diff --git a/helm/software/matita/matita.ml b/helm/software/matita/matita.ml
index d498f2ab6a4ca60fc53e401b9f65c92166dd697a..a8a031273b309a05f7316449d4ed57e46c8d1f24 100644 (file)
--- a/helm/software/matita/matita.ml
+++ b/helm/software/matita/matita.ml
@@ -147,8 +147,8 @@ let _ =
       output_string oc str;
       close_out oc;
       let ps = Filename.temp_file "yy" ".png" in
-      ignore (Sys.command ("/usr/bin/dot -Tpng -o" ^ ps ^ " " ^ filename));
-      ignore (Sys.command ("/usr/bin/display " ^ ps));
+      ignore (Unix.system ("/usr/bin/dot -Tpng -o" ^ ps ^ " " ^ filename));
+      ignore (Unix.system ("/usr/bin/display " ^ ps));
       Sys.remove ps;
       Sys.remove filename);
         
@@ -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 }}} *)