Project

General

Profile

Revision 2822cf55 src/causality.ml

View differences:

src/causality.ml
532 532
  end
533 533

  
534 534
let add_external_dependency outputs mems g =
535
  let caller ="!_world" in
535
  let caller ="!!_world" in
536 536
  begin
537 537
    IdentDepGraph.add_vertex g caller;
538 538
    ISet.iter (fun o -> IdentDepGraph.add_edge g caller o) outputs;

Also available in: Unified diff