From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 8 Jun 2005 16:06:47 +0000 (+0000)
Subject: Query results were erroneously tagged as directories.
X-Git-Tag: PRE_INDEX_1~34
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=72e4059f7141d5cdf573e470e9858a0e68d6fceb;p=helm.git

Query results were erroneously tagged as directories.
---

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