Changeset 1168 for src/LIN/LINToASM.ma


Ignore:
Timestamp:
Sep 2, 2011, 11:36:15 AM (9 years ago)
Author:
sacerdot
Message:

Joint statements parameterized over a record.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LINToASM.ma

    r1149 r1168  
    3535      match instr' with
    3636      [ joint_instr_cost_label lbl ⇒ set_insert ? (word_of_identifier ? lbl) (set_empty ?)
    37       | joint_instr_cond_acc lbl ⇒ set_insert ? (word_of_identifier ? lbl) (set_empty ?)
     37      | joint_instr_cond lbl ⇒ set_insert ? (word_of_identifier ? lbl) (set_empty ?)
    3838      | _ ⇒ set_empty ?
    3939      ]
Note: See TracChangeset for help on using the changeset viewer.