diff options
Diffstat (limited to 'bbot/agent/agent.cxx')
| -rw-r--r-- | bbot/agent/agent.cxx | 2 |
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) { |