1365

1 files changed, 4 insertions, 11 deletions

diff --git a/027debug.cc b/027debug.cc
index bbce5d6e..d472a314 100644
--- a/027debug.cc
+++ b/027debug.cc
@@ -28,7 +28,10 @@ _START_TRACING,
 Recipe_number["$start-tracing"] = _START_TRACING;
 :(before "End Primitive Recipe Implementations")
 case _START_TRACING: {
-  Trace_stream->dump_layer = "all";
+  if (current_instruction().ingredients.empty())
+    Trace_stream->dump_layer = "all";
+  else
+    Trace_stream->dump_layer = current_instruction().ingredients.at(0).name;
 //?   cout << Trace_stream << ": " << Trace_stream->dump_layer << '\n'; //? 1
   break;
 }
@@ -54,16 +57,6 @@ case _EXIT: {
 }
 
 :(before "End Primitive Recipe Declarations")
-_START_DUMPING_LAYER,
-:(before "End Primitive Recipe Numbers")
-Recipe_number["$start-dumping-layer"] = _START_DUMPING_LAYER;
-:(before "End Primitive Recipe Implementations")
-case _START_DUMPING_LAYER: {
-  Trace_stream->dump_layer = current_instruction().ingredients.at(0).name;
-  break;
-}
-
-:(before "End Primitive Recipe Declarations")
 _DUMP_TRACE,
 :(before "End Primitive Recipe Numbers")
 Recipe_number["$dump-trace"] = _DUMP_TRACE;