X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaMathView.ml;h=6db20400eb9d84caabc4209671d6f8c605371484;hb=72e4059f7141d5cdf573e470e9858a0e68d6fceb;hp=dc90df9db6ed7cfcf27d52f375f924ada3a9cd08;hpb=35093b10bc1784ebbdf2f1d61bdc84b83a3e8929;p=helm.git

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index dc90df9db..6db20400e 100644
--- a/helm/matita/matitaMathView.ml
+++ b/helm/matita/matitaMathView.ml
@@ -471,7 +471,7 @@ class cicBrowser_impl ~(history:MatitaTypes.mathViewer_entry MatitaMisc.history)
             | `Uri uri -> self#_loadUriManagerUri (UriManager.uri_of_string uri)
             | `Whelp (query, results) -> 
                 set_whelp_query query;
-                self#_loadList (List.map (fun r -> "dir", r) results));
+                self#_loadList (List.map (fun r -> "obj", r) results));
             self#setEntry entry
           end
       with