From 596d5dc528ec3243687b8394d215bdd67fdc8a28 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 22 Oct 2018 03:07:59 +0200
Subject: [PATCH] Minor cleanup.

---
 src/arachne.c | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/src/arachne.c b/src/arachne.c
index ea3ae9d..8186093 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -61,12 +61,6 @@
 #include "heuristic.h"
 #include "tempfile.h"
 
-struct brsstate
-{
-  Binding binding;
-  int found;
-};
-
 extern int *graph;
 extern int nodes;
 extern int graph_uordblks;
@@ -1526,10 +1520,17 @@ process_good_candidate (const Protocol p, const Role r, const Roledef rd,
   return sflag;
 }
 
+//! Helper struct to maintain state (continuation) during iteration
+struct state_brs
+{
+  Binding binding;
+  int found;
+};
+
 //! Helper for the next function bind_regular_goal
 int
 bind_this_role_send (Protocol p, Role r, Roledef rd, int index,
-		     struct brsstate *bs)
+		     struct state_brs *bs)
 {
   if (p == INTRUDER)
     {
@@ -1562,7 +1563,7 @@ int
 bind_goal_regular_run (const Binding b)
 {
   int flag;
-  struct brsstate bs;
+  struct state_brs bs;
 
   // Bind to all possible sends of regular runs
   bs.found = 0;