Changeset 3016


Ignore:
Timestamp:
Mar 28, 2013, 5:04:15 PM (4 years ago)
Author:
tranquil
Message:

fixed after previous commit

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LINToASM.ma

    r3014 r3016  
    186186          | RESTORE_CARRY ⇒
    187187            return Instruction (MOV ? (inl ?? (inr ?? 〈CARRY, asm_other_bit〉)))
    188           | LOW_ADDRESS reg lbl ⇒
     188          | LOW_ADDRESS lbl ⇒
    189189            ! lbl' ← Identifier_of_label … lbl ;
    190             return MovSuccessor (register_address reg) LOW lbl'
    191           | HIGH_ADDRESS reg lbl ⇒
     190            return MovSuccessor (register_address RegisterA) LOW lbl'
     191          | HIGH_ADDRESS lbl ⇒
    192192            ! lbl' ← Identifier_of_label … lbl ;
    193             return MovSuccessor (register_address reg) HIGH lbl'
     193            return MovSuccessor (register_address RegisterA) HIGH lbl'
    194194          ]
    195195        | COMMENT comment ⇒ return Comment comment
Note: See TracChangeset for help on using the changeset viewer.