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