AMBDA-TYPES: some improvements. subst now fully exploited

[helm.git] / components / acic_procedural / proceduralTypes.ml

diff --git a/components/acic_procedural/proceduralTypes.ml b/components/acic_procedural/proceduralTypes.ml
index c30251f4838b20c1409e2df321255ee4e3842bbe..ae153fe3d1d5b2b3abbe25f2c5bbd33ec8b49368 100644 (file)
--- a/components/acic_procedural/proceduralTypes.ml
+++ b/components/acic_procedural/proceduralTypes.ml
@@ -174,7 +174,7 @@ let rec render_step sep a = function
    | Branch ([ps], s)        -> render_steps sep a ps
    | Branch (ps :: pss, s)   ->      
       let a = mk_ob :: mk_nlnote s a in
-      let a = List.fold_left (render_steps mk_vb) a pss in
+      let a = List.fold_left (render_steps mk_vb) a (List.rev pss) in
       mk_punctation sep :: render_steps mk_cb a ps
 
 and render_steps sep a = function