Changeset 2844 for src


Ignore:
Timestamp:
Mar 11, 2013, 1:28:10 PM (7 years ago)
Author:
piccolo
Message:

Stupid bug fixed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTLptr/ERTLptrToLTL.ma

    r2824 r2844  
    353353        (lookup_arg addr2)
    354354    | CLEAR_CARRY ⇒ [CLEAR_CARRY ??]
    355     | SET_CARRY ⇒ [CLEAR_CARRY ??]
     355    | SET_CARRY ⇒ [SET_CARRY ??]
    356356    | OP2 op dst arg1 arg2 ⇒
    357357      translate_op2_smart ? localss carry_lives_after op
Note: See TracChangeset for help on using the changeset viewer.