From 762b099ef6c6ad5b6b61d29e473baa6df8d64ab9 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 18 Jul 2015 15:22:49 -0700 Subject: 1818 --- html/050scenario.cc.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html/050scenario.cc.html') 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 = NULL(const scenario& s) { Current_scenario = &s; bool not_already_inside_test = !Trace_stream; -//? cerr << s.name << '\n'; //? 11 +//? cerr << s.name << '\n'; //? 12 if (not_already_inside_test) { Trace_file = s.name; Trace_stream = new trace_stream; -- cgit 1.4.1-2-gfad0