Changeset 1149 for src/RTLabs


Ignore:
Timestamp:
Aug 30, 2011, 4:22:54 PM (8 years ago)
Author:
mulligan
Message:

changes to get everything type checking again after changing names of registers in i8051

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/RTLAbstoRTL.ma

    r1138 r1149  
    12281228  let params ≝ map_list_local_env lenv (map ? ? \fst (f_params def)) in
    12291229  let locals ≝ map_list_local_env lenv (map ? ? \fst (f_locals def)) in
    1230   let result ≝f
     1230  let result ≝
    12311231    match (f_result def) with
    12321232    [ None ⇒ [ ]
Note: See TracChangeset for help on using the changeset viewer.