X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaMathView.ml;h=53443128756e529af348db08471d9d49490eec09;hb=f79567e3b0abcb508c94b66d69d967c4df83082a;hp=8d66ff56d1f80cd2d872c606c25486abfeb78c6b;hpb=fbdd1cc46819d19ed135391a4a954c19d1b92c0c;p=helm.git

diff --git a/matita/matitaMathView.ml b/matita/matitaMathView.ml
index 8d66ff56d..534431287 100644
--- a/matita/matitaMathView.ml
+++ b/matita/matitaMathView.ml
@@ -1112,7 +1112,7 @@ class cicBrowser_impl ~(history:MatitaTypes.mathViewer_entry MatitaMisc.history)
       self#_loadObj obj
       
     method private _loadDir dir = 
-      let content = Http_getter.ls dir in
+      let content = Http_getter.ls ~local:false dir in
       let l =
         List.fast_sort
           Pervasives.compare