Ignore:
Timestamp:
Sep 22, 2010, 11:49:45 AM (9 years ago)
Author:
mulligan
Message:

Fixing type errors in execute1.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ASMInterpret.mli

    r100 r101  
    99val load: BitVectors.byte list -> status -> status
    1010
    11 exception Hold  (* to be raised to stop execution *)
     11exception Halt  (* to be raised to stop execution *)
    1212
    1313(* the callback function is used to observe the execution
Note: See TracChangeset for help on using the changeset viewer.