X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaInit.ml;h=e4cd8bfe5e7f9e0f3d803c54f66d71a9c11ede2d;hb=35a06fa8d6c2664301b59e77dcbff5bcfd4a5091;hp=e9d447c1197c07503998e01b21b8612979c6fc13;hpb=209184c83f7d290ceb43605598e09074b57d36f4;p=helm.git

diff --git a/matita/matitaInit.ml b/matita/matitaInit.ml
index e9d447c11..e4cd8bfe5 100644
--- a/matita/matitaInit.ml
+++ b/matita/matitaInit.ml
@@ -236,7 +236,7 @@ let parse_cmdline init_status =
       BuildTimeConf.stdlib_dir_installed ; ] 
     in
     let absolutize s =
-      if Pcre.pmatch ~pat:"^/" s then s else Sys.getcwd() ^"/"^s
+      if Pcre.pmatch ~pat:"^/" s then s else Sys.getcwd () ^"/"^s
     in
     let args = ref [] in
     let add_l l = fun s -> l := s :: !l in