]> matita.cs.unibo.it Git - helm.git/commitdiff
Sys.command -> Unix.system
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 17 Feb 2006 15:40:09 +0000 (15:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 17 Feb 2006 15:40:09 +0000 (15:40 +0000)
helm/software/matita/matita.ml

index d498f2ab6a4ca60fc53e401b9f65c92166dd697a..2cbb9a9a1350cd2303712637c3705d42c22e21e3 100644 (file)
@@ -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);