X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_generator%2FmQueryLevels2.ml;h=d9e9e5359276095df3633f055abe48c507daaa6b;hb=20595b27aa778b574d2f8ab5edaa1aa0382e01c5;hp=968d2a35e8d6439c65c0549bc35d7f58c372f383;hpb=4f171cba0be2e0543cf49b221ee22b553305488a;p=helm.git

diff --git a/helm/ocaml/mathql_generator/mQueryLevels2.ml b/helm/ocaml/mathql_generator/mQueryLevels2.ml
index 968d2a35e..d9e9e5359 100644
--- a/helm/ocaml/mathql_generator/mQueryLevels2.ml
+++ b/helm/ocaml/mathql_generator/mQueryLevels2.ml
@@ -87,12 +87,9 @@ let get_constraints term =
          | Branch _ ->
             let s' =
              match s with
-                Cic.Prop ->
-                 "http://www.cs.unibo.it/helm/schemas/schema-helm#Prop"
-              | Cic.Set ->
-                 "http://www.cs.unibo.it/helm/schemas/schema-helm#Set"
-              | Cic.Type ->
-                 "http://www.cs.unibo.it/helm/schemas/schema-helm#Type"
+                Cic.Prop -> "Prop"
+              | Cic.Set -> "Set"
+              | Cic.Type -> "Type"
             in
              let kind',depth = !!kind in
               (match depth with