Changeset 1601 for src/LIN/semantics.ma
- Timestamp:
- Dec 13, 2011, 2:49:52 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/LIN/semantics.ma
r1451 r1601 27 27 match l' with [ None ⇒ false | Some l'' ⇒ if eq_identifier … l l'' then true else false]) 28 28 (joint_if_code … (lin_params …) fn)) ; 29 OK … ( inject… (mk_pointer Code (mk_block Code (block_id (pblock old))) ? (mk_offset pos)) ?).29 OK … (mk_Sig … (mk_pointer Code (mk_block Code (block_id (pblock old))) ? (mk_offset pos)) ?). 30 30 // qed. 31 31
Note: See TracChangeset
for help on using the changeset viewer.