Changeset 2987


Ignore:
Timestamp:
Mar 27, 2013, 6:32:53 PM (4 years ago)
Author:
sacerdot
Message:

And again.. :(

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint_printer.ml

    r2985 r2987  
    12261226    'a1 printing_pass_independent_params -> 'a1 List.list -> 'a1 **)
    12271227let print_list pp =
    1228   List.foldl pp.print_concat pp.print_empty
     1228  List.foldr pp.print_concat pp.print_empty
    12291229
    12301230(** val print_joint_seq :
Note: See TracChangeset for help on using the changeset viewer.