in
(* rightno is the decreasing argument, i.e. the argument of
* inductive type *)
- Cic.Fix (0, ["f", rightno, final_ty, fixfun])
+ Cic.Fix (0, ["aux", rightno, final_ty, fixfun])
else
add_right_lambda dependent leftno (conslen + 1) 1 rightno indty
mutcase ty
| Cic.Type _ -> "_rect"
| _ -> assert false
in
- let name = UriManager.name_of_uri uri ^ suffix in
+ (* let name = UriManager.name_of_uri uri ^ suffix in *)
+ let name = name ^ suffix in
let buri = UriManager.buri_of_uri uri in
let uri = UriManager.uri_of_string (buri ^ "/" ^ name ^ ".con") in
let obj_attrs = [`Class (`Elim sort); `Generated] in