Changeset 1138 for src/RTLabs


Ignore:
Timestamp:
Aug 30, 2011, 12:08:25 PM (8 years ago)
Author:
mulligan
Message:

merged ertl_st_opaccs_a and ertl_st_opaccs_b into each other

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/RTLAbstoRTL.ma

    r1077 r1138  
    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 ≝
     1230  let result ≝f
    12311231    match (f_result def) with
    12321232    [ None ⇒ [ ]
Note: See TracChangeset for help on using the changeset viewer.