Changeset 1108 for src/LIN


Ignore:
Timestamp:
Aug 24, 2011, 3:04:20 PM (8 years ago)
Author:
mulligan
Message:

changes to get ertltoltli to compile

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/JointLTLLIN.ma

    r1089 r1108  
    2323  | joint_instr_load: joint_instruction globals
    2424  | joint_instr_store: joint_instruction globals
    25   | joint_instr_call_id: label → joint_instruction globals
     25  | joint_instr_call_id: ident → joint_instruction globals
    2626  | joint_instr_cond_acc: label → joint_instruction globals.
    2727
Note: See TracChangeset for help on using the changeset viewer.