Ignore:
Timestamp:
Mar 13, 2013, 1:19:48 AM (7 years ago)
Author:
sacerdot
Message:

Pretty printing improved (now it always starts the visit from lbl 1).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint_printer.ml

    r2858 r2859  
    10811081      | Types.None -> Types.None
    10821082      | Types.Some label -> let p = label in Types.Some p) (fun n ->
    1083       Obj.magic f n) a Types.None (let m' = Obj.magic m in m')
     1083      Obj.magic f n) a (Types.Some Positive.One) (let m' = Obj.magic m in m')
    10841084      (Identifiers.id_map_size PreIdentifiers.LabelTag (Obj.magic m)));
    10851085    print_succ = (Obj.magic pp.print_pass_ind.print_label);
Note: See TracChangeset for help on using the changeset viewer.