Changeset 1494 for src/ASM/Interpret.ma


Ignore:
Timestamp:
Nov 7, 2011, 10:56:13 AM (8 years ago)
Author:
mulligan
Message:

changes to get everything compiling again

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r1037 r1494  
    678678      let s ≝ set_clock ? s (\fst ticks + clock ? s) in
    679679      let preamble ≝ \fst (code_memory ? s) in
    680       let data_labels ≝ construct_datalabels preamble in
     680      let data_labels ≝ construct_datalabels (map … (fst …) preamble) in
    681681        set_arg_16 ? s (get_arg_16 ? s (DATA16 (lookup ? ? ident data_labels (zero ?)))) dptr
    682682    ]
Note: See TracChangeset for help on using the changeset viewer.