version 0.7.1

[helm.git] / helm / matita / matitaMisc.ml

diff --git a/helm/matita/matitaMisc.ml b/helm/matita/matitaMisc.ml
index acaf2123c68690ef7edef457c8b326df963a5e98..81f185ae83ef4e590e0409e603df1e851591e3ad 100644 (file)
--- 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