matitaMisc.ml

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

diff --git a/helm/matita/matitaMisc.ml b/helm/matita/matitaMisc.ml
index 9ddc268a815265d336cd43348b16caa8b6f5d451..82a5a521e57173899b8d6201043b9f78a495b0a7 100644 (file)
--- a/helm/matita/matitaMisc.ml
+++ b/helm/matita/matitaMisc.ml
@@ -121,7 +121,7 @@ let mkdir path =
     | piece::tl -> 
         let path = where ^ "/" ^ piece in
         (try
-          Unix.mkdir path 755
+          Unix.mkdir path 0o755
         with 
         | Unix.Unix_error (Unix.EEXIST,_,_) -> ()
         | Unix.Unix_error (e,_,_) -> raise (Failure (Unix.error_message e)));