Changeset 1138 for src/RTLabs
- Timestamp:
- Aug 30, 2011, 12:08:25 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTLabs/RTLAbstoRTL.ma
r1077 r1138 1228 1228 let params ≝ map_list_local_env lenv (map ? ? \fst (f_params def)) in 1229 1229 let locals ≝ map_list_local_env lenv (map ? ? \fst (f_locals def)) in 1230 let result ≝ 1230 let result ≝f 1231 1231 match (f_result def) with 1232 1232 [ None ⇒ [ ]
Note: See TracChangeset
for help on using the changeset viewer.