Changeset 93 for Deliverables/D4.1


Ignore:
Timestamp:
Sep 20, 2010, 5:42:45 PM (10 years ago)
Author:
mulligan
Message:

Fixed INC DPTR to assert false.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • Deliverables/D4.1/ASMInterpret.ml

    r92 r93  
    826826           let inc_dpl = 0 in
    827827           (* DPM: finish *)
    828              status
     828             assert false
    829829         else
    830830           (* DPM: finish *)
    831            status
     831           assert false
    832832   | INC ((`A | `REG _ | `DIRECT _ | `INDIRECT _) as d) ->
    833833      let b = get_arg_8 status d in
Note: See TracChangeset for help on using the changeset viewer.