matitadep ported to the new baseuri free model

[helm.git] / matita / matitaInit.ml

diff --git a/matita/matitaInit.ml b/matita/matitaInit.ml
index e9d447c1197c07503998e01b21b8612979c6fc13..e4cd8bfe5e7f9e0f3d803c54f66d71a9c11ede2d 100644 (file)
--- 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