Query results were erroneously tagged as directories.

[helm.git] / helm / matita / matitaMathView.ml

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index dc90df9db6ed7cfcf27d52f375f924ada3a9cd08..6db20400eb9d84caabc4209671d6f8c605371484 100644 (file)
--- 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