From b2e36ec82782b40c34bf181a82bd518b8943cb66 Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Wed, 25 Jul 2018 22:25:12 -0700
Subject: 4418

Use 'dump' consistently to mean 'to screen' (stderr), and 'save' to mean
'to disk'.
---
 003trace.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to '003trace.cc')

diff --git a/003trace.cc b/003trace.cc
index 20a0b48e..57604ee0 100644
--- a/003trace.cc
+++ b/003trace.cc
@@ -117,7 +117,7 @@ struct trace_stream {
     return *curr_stream;
   }
 
-  void dump() {
+  void save() {
     ofstream fout("last_run");
     fout << readable_contents("");
     fout.close();
@@ -220,7 +220,7 @@ struct lease_tracer {
 lease_tracer::lease_tracer() { Trace_stream = new trace_stream; }
 lease_tracer::~lease_tracer() {
   if (!Trace_stream) return;  // in case tests close Trace_stream
-  if (Save_trace) Trace_stream->dump();
+  if (Save_trace) Trace_stream->save();
   delete Trace_stream, Trace_stream = NULL;
 }
 :(before "End Includes")
-- 
cgit 1.4.1-2-gfad0