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=be4e6f9b97269bfb262229981cdae00c9e167c4e;hb=a5709dff43233c041f77a4ee4b7f2df1a3c51ab6;hp=0386523091c059e828b02ceed2e86d3e0ca62623;hpb=f3f6b451707a3feb8245717e3fa7ca25df0ce8ef;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 038652309..be4e6f9b9 100644
--- a/helm/software/lambda-delta/src/basic_rg/brg.ml
+++ b/helm/software/lambda-delta/src/basic_rg/brg.ml
@@ -16,7 +16,6 @@ module E = Entity
 module N = Level
 
 type uri = E.uri
-type id = E.id
 type attrs = E.attrs
 
 type bind = Void                   (*             *)
@@ -73,8 +72,3 @@ let get e i = get i e
 let rec fold_right f map e x = match e with   
    | Null              -> f x
    | Cons (e, c, a, b) -> fold_right (map f e c a b) map e x
-
-(* used in MetaBrg.unwind_to_xlate_term *)
-let rec fold_left map x = function
-   | Null              -> x
-   | Cons (e, _, a, b) -> fold_left map (map x a b) e