Changeset 1550 for src/ASM


Ignore:
Timestamp:
Nov 24, 2011, 11:44:25 AM (8 years ago)
Author:
sacerdot
Message:

Repaired after use of Russell for execute_1.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret2.ma

    r1515 r1550  
    4646 let 〈instr_pc,ticks〉 ≝ fetch (code_memory … s) (program_counter … s) in
    4747 let 〈instr,pc〉 ≝ instr_pc in
    48  let s ≝ execute_1 s in
     48 let s ≝ eject … (execute_1 s) in
    4949 match lookup_opt … pc costs with
    5050 [ None ⇒ ret … 〈E0, s〉
Note: See TracChangeset for help on using the changeset viewer.