From 024a76a32b76e52b6f42dd1069839535c270937b Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Fri, 19 Oct 2018 20:17:50 -0400
Subject: [PATCH] Minor refactoring.

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

diff --git a/src/arachne.c b/src/arachne.c
index 918b111..e36050a 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -1375,6 +1375,14 @@ bind_goal_new_intruder_run (const Binding b)
   return flag;
 }
 
+//! Dummy helper function for iterator; abort if sub-unification found
+int
+test_sub_unification (Termlist substlist, Termlist keylist)
+{
+  // A unification exists; return the signal
+  return false;
+}
+
 //! Bind a regular goal
 /**
  * Problem child. Valgrind does not like it.
@@ -1390,12 +1398,6 @@ bind_goal_regular_run (const Binding b)
    */
   int bind_this_role_send (Protocol p, Role r, Roledef rd, int index)
   {
-    int test_sub_unification (Termlist substlist, Termlist keylist)
-    {
-      // A unification exists; return the signal
-      return false;
-    }
-
     if (p == INTRUDER)
       {
 	// No intruder roles here