aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--bbot/agent/agent.cxx2
1 files changed, 0 insertions, 2 deletions
diff --git a/bbot/agent/agent.cxx b/bbot/agent/agent.cxx
index 9f70aec..062fd68 100644
--- a/bbot/agent/agent.cxx
+++ b/bbot/agent/agent.cxx
@@ -984,8 +984,6 @@ try
if (!ml.locked ())
{
- // @@ TMP: restore l4 tracing.
-
machine_manifest mm;
if (ml.prio)
{