(* 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