X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2FsearchEngine.ml;h=ca507663511a7696d2b182064c3ba4ab94d783cb;hb=4a3b0f60b4e7c9808b8552d9fb295ce34be4dddb;hp=13331c27be7d4748e70136627157472c1fe98a84;hpb=0d436761ba03acfadbfe913c0a38367068bdbb47;p=helm.git

diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml
index 13331c27b..ca5076635 100644
--- a/helm/searchEngine/searchEngine.ml
+++ b/helm/searchEngine/searchEngine.ml
@@ -236,7 +236,7 @@ let get_constraints term =
         None] in
       let constr_sort =
        ["http://www.cs.unibo.it/helm/schemas/schema-helm#MainHypothesis",
-        Some 1, "http://www.cs.unibo.it/helm/schemas/schema-helm#Prop"]
+        Some 1, "Prop"]
       in
        whole_statement_universe,
         (constr_obj, constr_rel, constr_sort), (None,None,None)