From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Tue, 21 Jun 2011 15:19:53 +0000 (+0000)
Subject: Bugfix in matitaFilesystem.ml
X-Git-Tag: make_still_working~2422
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b7629d479124bba15ce5014c7daf0d1d9db48beb;p=helm.git

Bugfix in matitaFilesystem.ml
---

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)