Ignore:
Timestamp:
Sep 29, 2010, 12:51:05 PM (9 years ago)
Author:
sacerdot
Message:

More cleanup.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/test.ml

    r138 r140  
    66 let opcode = Physical.WordMap.find pc status.ASMInterpret.code_memory in
    77 let instr,_,_ = ASMInterpret.fetch status.ASMInterpret.code_memory pc in
    8   prerr_string ("pc = " ^ IntelHex.hex_string_of_vect pc) ;
    9   prerr_string (" : " ^ IntelHex.hex_string_of_vect opcode);
     8  prerr_string ("pc = " ^ BitVectors.hex_string_of_vect pc) ;
     9  prerr_string (" : " ^ BitVectors.hex_string_of_vect opcode);
    1010  prerr_endline (" = " ^ Pretty.pp_instruction instr)
    1111in
Note: See TracChangeset for help on using the changeset viewer.