X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fbasic_rg%2Fbrg.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fbasic_rg%2Fbrg.ml;h=0386523091c059e828b02ceed2e86d3e0ca62623;hb=f7988fc51f7c96617aa2b3320628645480af681a;hp=bc6eb57277787753485621798a8b3949597f7e92;hpb=fa9e69af2ad5a22692f6fdd555d37bc6d80c5ad9;p=helm.git

diff --git a/helm/software/lambda-delta/src/basic_rg/brg.ml b/helm/software/lambda-delta/src/basic_rg/brg.ml
index bc6eb5727..038652309 100644
--- a/helm/software/lambda-delta/src/basic_rg/brg.ml
+++ b/helm/software/lambda-delta/src/basic_rg/brg.ml
@@ -36,12 +36,6 @@ type lenv = Null
 (* Cons: tail, relative local environment, attrs, binder *) 
           | Cons of lenv * lenv * attrs * bind 
 
-(* helpers ******************************************************************)
-
-let mk_uri si root s =
-   let kernel = if si then "brg-si" else "brg" in
-   String.concat "/" ["ld:"; kernel; root; s ^ ".ld"]
-
 (* Currified constructors ***************************************************)
 
 let abst n w = Abst (n, w)