From b7629d479124bba15ce5014c7daf0d1d9db48beb Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Tue, 21 Jun 2011 15:19:53 +0000 Subject: [PATCH] Bugfix in matitaFilesystem.ml --- matitaB/matita/matitaFilesystem.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matitaB/matita/matitaFilesystem.ml b/matitaB/matita/matitaFilesystem.ml index df4d4f844..346598743 100644 --- a/matitaB/matita/matitaFilesystem.ml +++ b/matitaB/matita/matitaFilesystem.ml @@ -53,7 +53,7 @@ let checkout user = let repo = Helm_registry.get "matita.weblib" in let errno, outstr = exec_process - ("svn co " ^ repo ^ " " ^ rt_dir ^ "/users/" ^ user ^ "/scripts") + ("svn co " ^ repo ^ " " ^ rt_dir ^ "/users/" ^ user ^ "/") in if errno = 0 then () else raise (SvnError outstr) -- 2.39.2