-let reference_of_ouri u indinfo =
- let u = NUri.uri_of_string (UriManager.string_of_uri u) in
- reference_of_string (string_of_reference (Ref (~-1,u,indinfo)))
+let mk_constructor j = function
+ | Ref (d, u, Ind i) ->
+ reference_of_string (string_of_reference (Ref (d, u, Con (i,j))))
+ | _ -> assert false