initial import of standalone matitaprover binary

[helm.git] / helm / software / components / extlib / hMarshal.ml

diff --git a/helm/software/components/extlib/hMarshal.ml b/helm/software/components/extlib/hMarshal.ml
index c57886819ca786a800b7c925915e061d93717b4a..cb4976e7d42cebf853748145e98ff0c3b17669b5 100644 (file)
--- a/helm/software/components/extlib/hMarshal.ml
+++ b/helm/software/components/extlib/hMarshal.ml
@@ -42,7 +42,8 @@ let save ~fmt ~version ~fname data =
   output_string oc (string_of_int version);       (* field 4 *)
   output_binary_int oc (Hashtbl.hash marshalled); (* field 5 *)
   output_string oc marshalled;                    (* field 6 *)
-  close_out oc
+  close_out oc;
+  HExtlib.chmod 0o664 fname
 
 let expect ic fname s =
   let len = String.length s in