Project

General

Profile

Revision 0038002e src/scheduling.ml

View differences:

src/scheduling.ml
152 152
	  Liveness.pp_death_table death
153 153
      );
154 154

  
155
    let disjoint = Disjunction.clock_disjoint_map (node_vars n) in
155
    let disjoint = Disjunction.clock_disjoint_map (get_node_vars n) in
156 156
    
157 157
    Log.report ~level:5 
158 158
      (fun fmt -> 
......
214 214
	 (fun u -> 
215 215
	   Format.fprintf fmt "Warning: variable '%s' seems unused@.%a@."
216 216
	     u
217
	     Location.pp_loc (node_var u nd).var_loc)
217
	     Location.pp_loc (get_node_var u nd).var_loc)
218 218
	 unused
219 219
   )
220 220
   node_schs

Also available in: Unified diff