Project

General

Profile

Revision cd670fe1 src/scheduling.ml

View differences:

src/scheduling.ml
112 112
      try
113 113
	Hashtbl.find eq_equiv v1 = Hashtbl.find eq_equiv v2
114 114
      with Not_found -> false in
115

  
115 116
    let n', g = global_dependency n in
116 117
    Log.report ~level:5 
117 118
      (fun fmt -> 

Also available in: Unified diff