From 234edae74112d52d8c6e353b4088cd8b89a92f24 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 27 Oct 2004 16:32:44 +0000
Subject: [PATCH] - Added sort of bug report.

---
 src/todo.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/todo.txt b/src/todo.txt
index a267607..dfc740c 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,3 +1,7 @@
+- Arachne AgentOfRun is playing up. Investigate start diamonds, and then
+  reinstate the untrusted actor pruning theorem. Probably the cause is in the
+  new roleInstance. Signals of this should be in a correct impl. of
+  agentOfRun.
 - Add some bug tracking thing to all this, because this list is becoming too
   big.
 - PRIO 1 : fix Arachne Dot output. Start by having dot-comments with the