drgOutput: bug fix

[helm.git] / helm / software / lambda-delta / toplevel / top.ml

diff --git a/helm/software/lambda-delta/toplevel/top.ml b/helm/software/lambda-delta/toplevel/top.ml
index 3556db37aed72a1ec6f68e66cb4669755d6d7109..4c1ee1903bf0e8b6df9566f266344b329686f187 100644 (file)
--- a/helm/software/lambda-delta/toplevel/top.ml
+++ b/helm/software/lambda-delta/toplevel/top.ml
@@ -163,8 +163,8 @@ let process_0 f st entity =
 let rec process f book st = match book with
    | []           -> f st
    | entity :: tl -> 
-      process f tl (process_0 C.start st entity) 
-(*      process_0 (process f tl) st entity *) (* CPS variant of the above *)
+(* we exploit tail recursion rather than CPS *)
+      process f tl (process_0 C.start st entity)
 
 (****************************************************************************)