*** empty log message ***

[helm.git] / helm / gTopLevel / mQueryLevels2.ml

diff --git a/helm/gTopLevel/mQueryLevels2.ml b/helm/gTopLevel/mQueryLevels2.ml
index 80bbdf1b62682caed44567599f4809a4f8af8836..c4bf895ddfeb91182bcca20c7d09f19615da82ea 100644 (file)
--- a/helm/gTopLevel/mQueryLevels2.ml
+++ b/helm/gTopLevel/mQueryLevels2.ml
@@ -88,7 +88,7 @@ let get_constraints term =
             let s' =
              match s with
                 Cic.Prop ->
-                 "http://www.cs.unibo.it/helm/schemas/schema-helm#Prod"
+                 "http://www.cs.unibo.it/helm/schemas/schema-helm#Prop"
               | Cic.Set ->
                  "http://www.cs.unibo.it/helm/schemas/schema-helm#Set"
               | Cic.Type ->