Changeset 2859 for src


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
  • src/joint/joint_printer.ma

    r2858 r2859  
    106106     (λstmt. match stmt_implicit_label ?? stmt with
    107107       [ None ⇒ None … | Some label ⇒ match label with [an_identifier p ⇒ Some … p]])
    108      ? (λn. f (an_identifier … n)) a (None …)
     108     ? (λn. f (an_identifier … n)) a (Some … one)
    109109     (match M with [an_id_map M' ⇒ M']) (id_map_size … M))
    110110   (print_label … pp) (print_label … pp).
Note: See TracChangeset for help on using the changeset viewer.