From c7e290197cba3d2a6e047ccfca79390e0824e67b Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sun, 15 Aug 2004 14:57:50 +0000
Subject: [PATCH] - Cycle detection seems to be working.

---
 src/arachne.c | 2 --
 src/binding.c | 9 +++++----
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/src/arachne.c b/src/arachne.c
index 0f04952..5056cad 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -363,8 +363,6 @@ bind_new_run (const Goal goal, const Protocol p, const Role r,
   int run;
   int flag;
   Roledef rd;
-  int old_run;
-  int old_index;
 
   roleInstance (sys, p, r, NULL);
   run = sys->maxruns - 1;
diff --git a/src/binding.c b/src/binding.c
index dda0683..9fc23c2 100644
--- a/src/binding.c
+++ b/src/binding.c
@@ -5,6 +5,7 @@
 #include "list.h"
 #include "system.h"
 #include "binding.h"
+#include "warshall.h"
 #include "memory.h"
 
 /*
@@ -34,7 +35,7 @@ static System sys;
 
 //! Create mem for binding
 Binding
-binding_create (int run_from, int ev_from, int run_to, int ev_to, int manual)
+binding_create (int run_from, int ev_from, int run_to, int ev_to)
 {
   Binding b;
 
@@ -117,9 +118,9 @@ node_number (int run, int ev)
   node = ev;
   while (run > 0)
     {
+      run--;
       //!@todo This now reference to step, but we intend "length" as in Arachne.
       node = node + sys->runs[run].step;
-      run--;
     }
   return node;
 }
@@ -187,7 +188,6 @@ closure_graph (Binding b)
 	= 1;
       bl = bl->next;
     }
-
   return warshall (graph, nodes);
 }
 
@@ -202,7 +202,8 @@ binding_add (int run_from, int ev_from, int run_to, int ev_to)
 {
   Binding b;
 
-  b = binding_create (run_from, ev_from, run_to, ev_to, 1);
+  b = binding_create (run_from, ev_from, run_to, ev_to);
+  eprintf ("Adding binding (%i,%i) --->> (%i,%i)\n",run_from, ev_from, run_to, ev_to);
   sys->bindings = list_insert (sys->bindings, b);
 
   /*