Ignore:
Timestamp:
Mar 7, 2013, 1:29:31 PM (7 years ago)
Author:
piccolo
Message:

Partial commit not yet finished

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL_semantics.ma

    r2796 r2801  
    6868 λ_.λ_.λst.
    6969  ! st' ← push_ra … st (pc … st) ;
    70   ! frms ← opt_to_res ? [MSG FrameErrorOnPush] (st_frms … st);
     70  ! frms ← opt_to_res ? [MSG FrameErrorOnPush] (st_frms … st');
    7171  return
    7272  (set_frms ERTL_state
Note: See TracChangeset for help on using the changeset viewer.