Changeset 2443 for src/ERTL


Ignore:
Timestamp:
Nov 8, 2012, 2:27:54 PM (8 years ago)
Author:
tranquil
Message:

changed joint's stack pointer and internal stack

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTLToLTL.ma

    r2286 r2443  
    130130  ; A ← RegisterSPH
    131131  ; A ← A .Sub. zero_byte
    132   ; RegisterSPL ← A
     132  ; RegisterSPH ← A
    133133  ].
    134134
     
    141141  ; A ← RegisterSPH
    142142  ; A ← A .Addc. zero_byte
    143   ; RegisterSPL ← A
     143  ; RegisterSPH ← A
    144144  ].
    145145
Note: See TracChangeset for help on using the changeset viewer.