Ignore:
Timestamp:
Mar 31, 2011, 5:20:00 PM (9 years ago)
Author:
campbell
Message:

Enough fixes to let an RTLabs program run.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/RTLabs-sem.ma

    r718 r727  
    277277    | cons f fs' ⇒
    278278        ! locals ← reg_store dst v (locals f);
    279         ret ? 〈E0, State (mk_frame (func f) locals (next f) (sp f) (retdst f)) fs m〉
     279        ret ? 〈E0, State (mk_frame (func f) locals (next f) (sp f) (retdst f)) fs' m〉
    280280    ]
    281281].
Note: See TracChangeset for help on using the changeset viewer.