From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 26 Jun 2003 16:50:17 +0000 (+0000)
Subject: http://....#Prop shortened to Prop due to a bug (feature?) in the DB.
X-Git-Tag: camera_ready~42
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=4a3b0f60b4e7c9808b8552d9fb295ce34be4dddb

http://....#Prop shortened to Prop due to a bug (feature?) in the DB.
---

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)