Changeset 2929
- Timestamp:
- Mar 21, 2013, 7:13:48 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/joint/Traces.ma
r2824 r2929 173 173 [ sequential s next ⇒ 174 174 match s with 175 [ step_seq s ⇒ 176 match s with 177 [ CALL f' args dest ⇒ 178 function_of_call … (ev_genv p) st f' 179 | _ ⇒ Error … [ ] 180 ] 175 [ CALL f' args dest ⇒ function_of_call … (ev_genv p) st f' 181 176 | _ ⇒ Error … [ ] 182 177 ]
Note: See TracChangeset
for help on using the changeset viewer.