diff options
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; } |