From 1ac56131763867ef875c1ec8d09a1be088dc7080 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 --- matita/matita.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/matita/matita.ml b/matita/matita.ml index d498f2ab6..2cbb9a9a1 100644 --- a/matita/matita.ml +++ b/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