diff options
Diffstat (limited to '050scenario.cc')
-rw-r--r-- | 050scenario.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/050scenario.cc b/050scenario.cc index 1eacf58f..1f0db4ac 100644 --- a/050scenario.cc +++ b/050scenario.cc @@ -129,6 +129,7 @@ const scenario* Current_scenario = NULL; void run_mu_scenario(const scenario& s) { Current_scenario = &s; bool not_already_inside_test = !Trace_stream; +//? cerr << s.name << '\n'; //? 1 if (not_already_inside_test) { Trace_file = s.name; Trace_stream = new trace_stream; |