From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 17 Feb 2006 15:40:09 +0000 (+0000)
Subject: Sys.command -> Unix.system
X-Git-Tag: make_still_working~7560
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=933496779c857353f5a08910668b8847ae263d88;p=helm.git

Sys.command -> Unix.system
---

diff --git a/helm/software/matita/matita.ml b/helm/software/matita/matita.ml
index d498f2ab6..2cbb9a9a1 100644
--- 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);