Changeset 3256 for src


Ignore:
Timestamp:
May 8, 2013, 5:41:49 PM (7 years ago)
Author:
tranquil
Message:

fixed compilation

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/RTL/RTLToERTL.ma

    r3255 r3256  
    149149  bind_new register (list (joint_seq ERTL globals)) ≝
    150150  λglobals,params,sral,srah,tmpr,addr1,addr2,sregs.
    151   [ POP … srah ;
     151  [ POP ERTL … srah ;
    152152    POP … sral
    153153  ] @ save_hdws … sregs @ get_params … tmpr addr1 addr2 params.
Note: See TracChangeset for help on using the changeset viewer.