Revision 0038002e src/scheduling.ml
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