1 files changed, 0 insertions, 12 deletions
diff --git a/081run_interactive.cc b/081run_interactive.cc
index d264aeb2..6d12e368 100644
--- a/081run_interactive.cc
+++ b/081run_interactive.cc
@@ -213,15 +213,3 @@ long long int warnings_from_trace() {
   assert(!out.str().empty());
   return new_string(out.str());
 }
-
-//:: debugging tool
-
-:(before "End Primitive Recipe Declarations")
-_RUN_DEPTH,
-:(before "End Primitive Recipe Numbers")
-Recipe_ordinal["$run-depth"] = _RUN_DEPTH;
-:(before "End Primitive Recipe Implementations")
-case _RUN_DEPTH: {
-  cerr << Current_routine->calls.size();
-  break;
-}