X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnCicExtraction.ml;h=76b53f363658f46a42e70898ead686a989001787;hb=c742f5b1450507df01cb0379d85b4170ddf6cad5;hp=4280f7388205ceb6f9e49f02e45f9f574e3c10dd;hpb=ecd5b02db67b07fdc7c14d7ae7f0e0fd1034809c;p=helm.git

diff --git a/matita/components/ng_kernel/nCicExtraction.ml b/matita/components/ng_kernel/nCicExtraction.ml
index 4280f7388..76b53f363 100644
--- a/matita/components/ng_kernel/nCicExtraction.ml
+++ b/matita/components/ng_kernel/nCicExtraction.ml
@@ -624,7 +624,7 @@ let rec pp_term status ctx =
         let pattern,body =
          (*CSC: BUG avoid name clashes *)
          String.concat " " (String.capitalize name::bound_names),
-         pp_term status (bound_names@ctx) rhs
+         pp_term status ((List.rev bound_names)@ctx) rhs
         in
          "  " ^ pattern ^ " -> " ^ body
      ) patterns)