From 933496779c857353f5a08910668b8847ae263d88 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 17 Feb 2006 15:40:09 +0000 Subject: [PATCH] Sys.command -> Unix.system --- helm/software/matita/matita.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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); -- 2.39.2