aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2023-06-28 08:53:09 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2023-06-28 08:53:09 +0200
commite013d84d9646506828fce16fc44a06e02f091ad2 (patch)
tree2d62c95d1b0f416cde43e61bd0bfb3378280fd05
parent0f3e27c3bbef6b806acefa17971b799a4719e1e1 (diff)
Remove stray comment
-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)
{