X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_generator%2FcGLocateInductive.ml;h=04181fb238a27be16f6887782251c58bc488dba6;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=c5734f2429a173a61c2c7ffd0530339a5a9f1560;hpb=68e62a195d6228befb75b4e2edd59bc58b1cdb0c;p=helm.git

diff --git a/helm/ocaml/mathql_generator/cGLocateInductive.ml b/helm/ocaml/mathql_generator/cGLocateInductive.ml
index c5734f242..04181fb23 100644
--- a/helm/ocaml/mathql_generator/cGLocateInductive.ml
+++ b/helm/ocaml/mathql_generator/cGLocateInductive.ml
@@ -30,7 +30,7 @@ exception NotAnInductiveDefinition
 
 let get_constraints = function
    | Cic.MutInd (uri, t, _) -> 
-      let uri = MQueryMisc.string_of_uriref (uri, [t]) in
+      let uri = UriManager.string_of_uriref (uri, [t]) in
       let constr_obj =
        [(`InHypothesis, uri); (`MainHypothesis (Some 0), uri)]
       in