Changeset 1494 for src/ASM/Interpret.ma

Timestamp:

Nov 7, 2011, 10:56:13 AM (8 years ago)

Author:

mulligan

Message:

changes to get everything compiling again

File:

• src/ASM/Interpret.ma (modified) (1 diff)

src/ASM/Interpret.ma

@@ -678 +678 @@
       let s ≝ set_clock ? s (\fst ticks + clock ? s) in
       let preamble ≝ \fst (code_memory ? s) in
-      let data_labels ≝ construct_datalabels preamble in
+      let data_labels ≝ construct_datalabels (map … (fst …) preamble) in
         set_arg_16 ? s (get_arg_16 ? s (DATA16 (lookup ? ? ident data_labels (zero ?)))) dptr
     ]