diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-18 15:22:49 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-18 15:22:49 -0700 |
| commit | 762b099ef6c6ad5b6b61d29e473baa6df8d64ab9 (patch) | |
| tree | 8075befbcc8ef2784616c4937793ebed9d21123d /html/050scenario.cc.html | |
| parent | 614ea44bc2708a687ba10b162a6dc70e48dfac59 (diff) | |
| download | mu-762b099ef6c6ad5b6b61d29e473baa6df8d64ab9.tar.gz | |
1818
Diffstat (limited to 'html/050scenario.cc.html')
| -rw-r--r-- | html/050scenario.cc.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/050scenario.cc.html b/html/050scenario.cc.html index ca947e34..ae2d52b2 100644 --- a/html/050scenario.cc.html +++ b/html/050scenario.cc.html @@ -167,7 +167,7 @@ const scenario* Current_scenario = <span class="Constant">NULL</span><span class void run_mu_scenario<span class="Delimiter">(</span>const scenario& s<span class="Delimiter">)</span> <span class="Delimiter">{</span> Current_scenario = &s<span class="Delimiter">;</span> bool not_already_inside_test = !Trace_stream<span class="Delimiter">;</span> -<span class="CommentedCode">//? cerr << s.name << '\n'; //? 11</span> +<span class="CommentedCode">//? cerr << s.name << '\n'; //? 12</span> if <span class="Delimiter">(</span>not_already_inside_test<span class="Delimiter">)</span> <span class="Delimiter">{</span> Trace_file = s<span class="Delimiter">.</span>name<span class="Delimiter">;</span> Trace_stream = new trace_stream<span class="Delimiter">;</span> |