X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fcomplete_rg%2Fcrg.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fcomplete_rg%2Fcrg.ml;h=9020048af077f7f8e95f7797afc5188b3887fb47;hb=f7988fc51f7c96617aa2b3320628645480af681a;hp=d272bdea8c41d6e3cd366aada1f079467b301407;hpb=fa9e69af2ad5a22692f6fdd555d37bc6d80c5ad9;p=helm.git

diff --git a/helm/software/lambda-delta/src/complete_rg/crg.ml b/helm/software/lambda-delta/src/complete_rg/crg.ml
index d272bdea8..9020048af 100644
--- a/helm/software/lambda-delta/src/complete_rg/crg.ml
+++ b/helm/software/lambda-delta/src/complete_rg/crg.ml
@@ -39,10 +39,6 @@ type entity = term E.entity
 
 (* helpers ******************************************************************)
 
-let mk_uri si root s =
-   let kernel = if si then "crg-si" else "crg" in
-   String.concat "/" ["ld:"; kernel; root; s ^ ".ld"]
-
 let empty_lenv = ESort
 
 let push_bind f lenv a b = f (EBind (lenv, a, b))