X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2FcicElim.ml;h=f919d2875e2d7674ff4b4d13facae24a47ffd1c9;hb=84d34c4d0b0a3c923a62cb686966ef66bccb54c8;hp=fb3c0655cf49c1450449a250c7095fa50094d2e6;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/library/cicElim.ml b/components/library/cicElim.ml
index fb3c0655c..f919d2875 100644
--- a/components/library/cicElim.ml
+++ b/components/library/cicElim.ml
@@ -409,7 +409,8 @@ debug_print (lazy (CicPp.ppterm eliminator_body));
         | 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