Ignore:
Timestamp:
Aug 31, 2011, 12:15:39 PM (8 years ago)
Author:
campbell
Message:

Update pretty printers and examples.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/cminorMatitaPrinter.ml

    r966 r1157  
    2828
    2929let print_var n (id, sz, init) =
    30   Printf.sprintf "(pair ?? (pair ?? (pair ?? id_%s [%s]) Any) it)"
     30  Printf.sprintf "(pair ?? (pair ?? id_%s Any) [%s])"
    3131    id
    3232    (match init with
Note: See TracChangeset for help on using the changeset viewer.