From 032d322952e3b6aedc4b645163a1bbfc9657203a Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 12 Aug 2004 12:37:30 +0000
Subject: [PATCH] - Fixed a bug with role destruction: the intruder goal term
 was not   duplicated, but destroyed nevertheless.

---
 src/arachne.c | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/src/arachne.c b/src/arachne.c
index f1b14f8..fe4a87c 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -160,10 +160,7 @@ iterate_role_sends (int (*func) ())
 	    {
 	      if (rd->type == SEND)
 		{
-		  int flag;
-
-		  flag = func (p, r, rd, index);
-		  if (!flag)
+		  if (!func (p, r, rd, index))
 		    return 0;
 		}
 	      index++;
@@ -193,7 +190,7 @@ add_intruder_goal (Goal goal)
   goal.rd->bind_index = 0;
   rd = sys->runs[run].start;
   termDelete (rd->message);
-  rd->message = goal.rd->message;
+  rd->message = termDuplicate (goal.rd->message);
 
 #ifdef DEBUG
   explanation = "Adding intruder goal for run";