| 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