diff options
Diffstat (limited to '036refcount.cc')
-rw-r--r-- | 036refcount.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/036refcount.cc b/036refcount.cc index e04261bd..69c00d05 100644 --- a/036refcount.cc +++ b/036refcount.cc @@ -76,8 +76,8 @@ void decrement_refcount(int old_address, const type_tree* payload_type, int payl if (old_refcount < 0) { cerr << "Negative refcount!!! " << old_address << ' ' << old_refcount << '\n'; if (Trace_stream) { - cerr << "Saving trace to last_trace.\n"; - ofstream fout("last_trace"); + cerr << "Saving trace to last_run.\n"; + ofstream fout("last_run"); fout << Trace_stream->readable_contents(""); fout.close(); } |