diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-07-25 22:25:12 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-07-26 09:03:13 -0700 |
commit | b2e36ec82782b40c34bf181a82bd518b8943cb66 (patch) | |
tree | 44c18821c6378e3f0c23058d6096be6a9606b820 /050scenario.cc | |
parent | 15152795cead7ed7d6673a0c2ac996ac9c346945 (diff) | |
download | mu-b2e36ec82782b40c34bf181a82bd518b8943cb66.tar.gz |
4418
Use 'dump' consistently to mean 'to screen' (stderr), and 'save' to mean 'to disk'.
Diffstat (limited to '050scenario.cc')
-rw-r--r-- | 050scenario.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/050scenario.cc b/050scenario.cc index e84a18e9..b4170f8c 100644 --- a/050scenario.cc +++ b/050scenario.cc @@ -229,7 +229,7 @@ void run_mu_scenario(const scenario& s) { if (!Hide_errors && trace_contains_errors() && !Scenario_testing_scenario) Passed = false; if (not_already_inside_test && Trace_stream) { - if (Save_trace) Trace_stream->dump(); + if (Save_trace) Trace_stream->save(); delete Trace_stream; Trace_stream = NULL; } |