diff options
Diffstat (limited to 'cpp/013run')
-rw-r--r-- | cpp/013run | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpp/013run b/cpp/013run index 7296d128..e5da06f3 100644 --- a/cpp/013run +++ b/cpp/013run @@ -89,7 +89,7 @@ if (argc > 1) { } Trace_stream = new trace_stream; -//? Trace_stream->dump_layer = "all"; //? 1 +//? Trace_stream->dump_layer = "all"; //? 2 transform_all(); recipe_number r = Recipe_number[string("main")]; if (r) run(r); |