X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fdual_rg%2FdrgOutput.ml;h=2522b59f14df0446ee8f582f2e9860a1ae12bdfd;hb=dfee894b6cc036014bbbf1f508621840f44144d7;hp=c291cbf8a60df19827974e34f8f5c237d3e70210;hpb=ece36f3adcdf55739b4686168b49506439bff2ba;p=helm.git

diff --git a/helm/software/lambda-delta/dual_rg/drgOutput.ml b/helm/software/lambda-delta/dual_rg/drgOutput.ml
index c291cbf8a..2522b59f1 100644
--- a/helm/software/lambda-delta/dual_rg/drgOutput.ml
+++ b/helm/software/lambda-delta/dual_rg/drgOutput.ml
@@ -12,6 +12,7 @@
 module X = Library
 module D = Drg
 
+(* this is not tail recursive *)
 let rec list_iter map l f = match l with
    | []       -> f
    | hd :: tl -> map hd (list_iter map tl f)
@@ -21,6 +22,7 @@ let rec lenv_iter map1 map2 l f = match l with
    | D.EBind (lenv, a, b) -> lenv_iter map1 map2 lenv (map1 a b f)
    | D.EProj (lenv, a, e) -> lenv_iter map1 map2 lenv (map2 a e f)
 
+(* these are not tail recursive *)
 let rec exp_term t f = match t with
    | D.TSort (a, h)       ->
       let attrs = [X.position h; X.name a] in