diff options
Diffstat (limited to '038scheduler.cc')
| -rw-r--r-- | 038scheduler.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/038scheduler.cc b/038scheduler.cc index 6158ab41..8f2706ff 100644 --- a/038scheduler.cc +++ b/038scheduler.cc @@ -275,7 +275,7 @@ recipe f2 [ -warn: f2: divide by zero in '4:number <- divide-with-remainder 4, 0' :(after "operator<<(ostream& os, unused end)") - if (Trace_stream && Trace_stream->curr_layer == "warn" && Current_routine) { + if (Trace_stream && Trace_stream->curr_label == "warn" && Current_routine) { Current_routine->state = COMPLETED; } |