X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_generator%2FcGLocateInductive.ml;h=261b293884f28a1399a890f86d7c138f56cc30bf;hb=ef3f78973c2fa3151c09681bcdb60107cd73c518;hp=032060fd3d7d4736f1696188c7cd367a2527911e;hpb=36d9dada5eb3894d96c807781e1056b73a1c0a79;p=helm.git

diff --git a/helm/ocaml/mathql_generator/cGLocateInductive.ml b/helm/ocaml/mathql_generator/cGLocateInductive.ml
index 032060fd3..261b29388 100644
--- a/helm/ocaml/mathql_generator/cGLocateInductive.ml
+++ b/helm/ocaml/mathql_generator/cGLocateInductive.ml
@@ -26,11 +26,13 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
+(* $Id$ *)
+
 exception NotAnInductiveDefinition
 
 let get_constraints = function
    | Cic.MutInd (uri, t, _) -> 
-      let uri = MQueryUtil.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