Changeset 1601 for src/LIN/semantics.ma

Timestamp:

Dec 13, 2011, 2:49:52 PM (8 years ago)

Author:

sacerdot

Message:

Files ported to new version of the standard library.

File:

• src/LIN/semantics.ma (modified) (1 diff)

src/LIN/semantics.ma

@@ -27 +27 @@
         match l' with [ None ⇒ false | Some l'' ⇒ if eq_identifier … l l'' then true else false])
      (joint_if_code … (lin_params …) fn)) ;
-  OK … (inject … (mk_pointer Code (mk_block Code (block_id (pblock old))) ? (mk_offset pos)) ?).
+  OK … (mk_Sig … (mk_pointer Code (mk_block Code (block_id (pblock old))) ? (mk_offset pos)) ?).
 // qed.