Changeset 1138 for src/RTLabs

Timestamp:

Aug 30, 2011, 12:08:25 PM (10 years ago)

Author:

mulligan

Message:

merged ertl_st_opaccs_a and ertl_st_opaccs_b into each other

File:

• src/RTLabs/RTLAbstoRTL.ma (modified) (1 diff)

src/RTLabs/RTLAbstoRTL.ma

@@ -1228 +1228 @@
   let params ≝ map_list_local_env lenv (map ? ? \fst (f_params def)) in
   let locals ≝ map_list_local_env lenv (map ? ? \fst (f_locals def)) in
-  let result ≝
+  let result ≝f
     match (f_result def) with
     [ None ⇒ [ ]