Changeset 3072


Ignore:
Timestamp:
Apr 2, 2013, 6:39:07 PM (4 years ago)
Author:
tranquil
Message:

corrected a bug (translate_store was wrong)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTLToLTL.ma

    r3037 r3072  
    278278        move_to_dptr @
    279279        [ A ← RegisterST0]
    280       else move_to_dptr) @
    281      [STORE … it it A]).
     280      else
     281        move_to_dptr @
     282        move ? localss false RegisterA src) @
     283     [STORE … it it A]).
    282284
    283285definition translate_load : 
Note: See TracChangeset for help on using the changeset viewer.