Changeset 2985 for extracted/joint_printer.ml

Timestamp:

Mar 27, 2013, 6:31:55 PM (8 years ago)

Author:

sacerdot

Message:

Order of printing of lines in LIN fixed again, truly this time. But I still
do not understand why I needed to reverse the list.

File:

• extracted/joint_printer.ml (modified) (1 diff)

extracted/joint_printer.ml

@@ -1386 +1386 @@
   { cip_print_serialization_params = (lin_print_serialization_params lp pp);
     fold_code = (fun _ f m a ->
-    (List.foldr (fun x res ->
+    (Util.foldl (fun res x ->
       let { Types.fst = pc; Types.snd = res' } = res in
       { Types.fst = (Nat.S pc); Types.snd = (Obj.magic f pc x res') })