From 4a3b0f60b4e7c9808b8552d9fb295ce34be4dddb Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen 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