Changeset 3012


Ignore:
Timestamp:
Mar 28, 2013, 3:51:01 PM (4 years ago)
Author:
sacerdot
Message:

Debugging code removed after bug fixing.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/untrusted/untrusted_interference.ml

    r2997 r3012  
    110110      Pmap.find r m.backward
    111111    with Not_found ->
    112 prerr_endline ("NOT FOUND r_" ^ string_of_int (Glue.int_of_matitapos r));
    113112      assert false (* bad pseudo-register *)
    114113
    115   let add r v m =
    116 prerr_endline ("ADD r_" ^ string_of_int (Glue.int_of_matitapos r));
    117 {
     114  let add r v m = {
    118115    forward = Vertex.Map.add v (Pset.singleton r) m.forward;
    119116    backward = Pmap.add r v m.backward
Note: See TracChangeset for help on using the changeset viewer.