Changeset 451 for Deliverables


Ignore:
Timestamp:
Jan 14, 2011, 4:54:56 PM (9 years ago)
Author:
mulligan
Message:

Removed more debugging stuff from Test.ml.

File:
1 edited

Legend:

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

    r450 r451  
    1515   let _ = prerr_string (BitVectors.hex_string_of_vect pc) in
    1616   let _ = prerr_endline (": " ^ pp_instruction instr) in
    17     (* match instr with
    18        `SJMP (`REL b) ->
    19           if int_of_vect b = 254 || int_of_vect b = 0 then*)
    20             prerr_endline <*> string_of_status $ status
    21 (*          else
    22             ()
    23      | _ -> ()*)
     17     prerr_endline <*> string_of_status $ status
    2418in
    2519(* DPM: for debugging! *)
Note: See TracChangeset for help on using the changeset viewer.