From f7ee9743d2b8e91a95dddb5ab5d59621e2d3a369 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 13 Mar 2006 14:19:01 +0000
Subject: [PATCH] - Bugfix for self-initiator detection. Woops.

---
 src/cost.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/cost.c b/src/cost.c
index d287560..5c36115 100644
--- a/src/cost.c
+++ b/src/cost.c
@@ -39,7 +39,7 @@ selfInitiator (const System sys, const int run)
 	    }
 	  else
 	    {
-	      termlistAdd (seen, agent);
+	      seen = termlistAdd (seen, agent);
 	    }
 	  agents = agents->next;
 	}
@@ -88,7 +88,7 @@ attackCost (const System sys)
   cost = 0;
 
   cost += get_semitrace_length ();
-  cost += 5 * selfInitiators (sys);
+  cost += 8 * selfInitiators (sys);
 
   return cost;
 }