X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fextlib%2FhMarshal.ml;h=cb4976e7d42cebf853748145e98ff0c3b17669b5;hb=37b52567b8aa1bf5807767d94b96594c0e640588;hp=c57886819ca786a800b7c925915e061d93717b4a;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/extlib/hMarshal.ml b/helm/software/components/extlib/hMarshal.ml
index c57886819..cb4976e7d 100644
--- 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