From 4a3b0f60b4e7c9808b8552d9fb295ce34be4dddb Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 26 Jun 2003 16:50:17 +0000
Subject: [PATCH] http://....#Prop shortened to Prop due to a bug (feature?) in
 the DB.

---
 helm/searchEngine/searchEngine.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
2.39.2