Ignore:
Timestamp:
Mar 28, 2013, 10:27:41 AM (8 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/untrusted/untrusted_interference.ml

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