X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMisc.ml;h=81f185ae83ef4e590e0409e603df1e851591e3ad;hb=42e7448a9e2eb9c44a336f0f3e56c9249f46fcc6;hp=acaf2123c68690ef7edef457c8b326df963a5e98;hpb=ced6c94c59ba147abbee642dcd3e816ee2e1c1eb;p=helm.git

diff --git a/helm/matita/matitaMisc.ml b/helm/matita/matitaMisc.ml
index acaf2123c..81f185ae8 100644
--- a/helm/matita/matitaMisc.ml
+++ b/helm/matita/matitaMisc.ml
@@ -26,6 +26,8 @@
 open Printf
 open MatitaTypes 
 
+let safe_remove fname = if Sys.file_exists fname then Sys.remove fname
+
 let is_dir fname =
   try
     (Unix.stat fname).Unix.st_kind = Unix.S_DIR
@@ -191,7 +193,7 @@ let get_proof_context status =
   | _ -> []
  
 let get_proof_aliases status = status.aliases
-  
+
 let qualify status name = get_string_option status "baseuri" ^ "/" ^ name
 
 let unopt = function None -> failwith "unopt: None" | Some v -> v