diff options
Diffstat (limited to 'cpp/020run.cc')
-rw-r--r-- | cpp/020run.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/020run.cc b/cpp/020run.cc index 10e463b6..ee0bbb61 100644 --- a/cpp/020run.cc +++ b/cpp/020run.cc @@ -109,7 +109,7 @@ if (!Run_tests) { recipe_number r = Recipe_number[string("main")]; //? Trace_stream->dump_layer = "all"; //? 1 if (r) run(r); - dump_memory(); +//? dump_memory(); //? 1 teardown(); } |