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 8200d702..d112cd62 100644 --- a/050scenario.cc +++ b/050scenario.cc @@ -131,7 +131,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'; //? 9 +//? cerr << s.name << '\n'; //? 10 if (not_already_inside_test) { Trace_file = s.name; Trace_stream = new trace_stream; |