Changeset 1515 for src/ASM/Interpret.ma
- Timestamp:
- Nov 18, 2011, 1:03:14 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/Interpret.ma
r1514 r1515 686 686 let preamble ≝ \fst (code_memory ? s) in 687 687 let data_labels ≝ construct_datalabels (map … (fst …) preamble) in 688 set_arg_16 ? s (get_arg_16 ? s (DATA16 (lookup ? ? ident data_labels(zero ?)))) dptr688 set_arg_16 ? s (get_arg_16 ? s (DATA16 (lookup_def ? ? data_labels ident (zero ?)))) dptr 689 689 ] 690 690 in
Note: See TracChangeset
for help on using the changeset viewer.