Changeset 1107 for src/RTL/RTLtoERTL.ma


Ignore:
Timestamp:
Aug 24, 2011, 2:43:58 PM (9 years ago)
Author:
mulligan
Message:

got rtl-ertl pass working again

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTLtoERTL.ma

    r1081 r1107  
    190190 
    191191definition save_hdws_internal ≝
    192   λdestr_srcr: register × hardware_register.
     192  λdestr_srcr: register × Register.
    193193  λstart_lbl: label.
    194194    let 〈destr, srcr〉 ≝ destr_srcr in
     
    200200   
    201201definition restore_hdws_internal ≝
    202   λdestr_srcr: hardware_register × register.
     202  λdestr_srcr: Register × register.
    203203  λstart_lbl: label.
    204204    let 〈destr, srcr〉 ≝ destr_srcr in
Note: See TracChangeset for help on using the changeset viewer.