diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-06-16 14:21:00 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-06-16 14:22:35 -0700 |
commit | cee0e7d5d34212831ac78b5dbe8f7fcc19ea05a1 (patch) | |
tree | a92060f92955783d8efddf5fcbb1114484926116 /050scenario.cc | |
parent | 17c20c9ca2c1bfccf674fca813c1d150f7e4b7d9 (diff) | |
download | mu-cee0e7d5d34212831ac78b5dbe8f7fcc19ea05a1.tar.gz |
1569
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; |