diff options
Diffstat (limited to '073scheduler.cc')
| -rw-r--r-- | 073scheduler.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/073scheduler.cc b/073scheduler.cc index 51b3584f..75a17d33 100644 --- a/073scheduler.cc +++ b/073scheduler.cc @@ -312,7 +312,7 @@ def f2 [ +error: f2: divide by zero in '3:num <- divide-with-remainder 4, 0' -error: f2: divide by zero in '4:num <- divide-with-remainder 4, 0' -:(after "operator<<(ostream& os, unused end)") +:(after "operator<<(ostream& os, vestigial end)") if (Trace_stream && Trace_stream->curr_label == "error" && Current_routine) { Current_routine->state = COMPLETED; } |