Ignore:
Timestamp:
Mar 19, 2013, 10:21:08 PM (8 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/interpret.ml

    r2908 r2909  
    348348                  (Nat.S (Nat.S Nat.O))))))))) carry
    349349            in
    350             let s0 = Status.set_8051_sfr cm s' Status.SFR_DPL bl in
    351             Status.set_8051_sfr cm s0 Status.SFR_DPH bu)
     350            let s'' = Status.set_8051_sfr cm s' Status.SFR_DPL bl in
     351            Status.set_8051_sfr cm s'' Status.SFR_DPH bu)
    352352        | ASM.DATA x -> (fun _ -> assert false (* absurd case *))
    353353        | ASM.DATA16 x -> (fun _ -> assert false (* absurd case *))
Note: See TracChangeset for help on using the changeset viewer.