From 9a336ce2eb61398cd2c263e35c5e209d849fd502 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 24 Dec 2018 15:57:45 +0100
Subject: [PATCH] Removed another fake nested function.

---
 src/arachne.c | 24 +++++++++++++-----------
 1 file changed, 13 insertions(+), 11 deletions(-)

diff --git a/src/arachne.c b/src/arachne.c
index 2f71cd0..e199c48 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -2537,6 +2537,19 @@ iterate_buffer_attacks (void)
     }
 }
 
+//! Helper for the next code.
+int
+realStart (void)
+{
+#ifdef DEBUG
+  if (DEBUGL (5))
+    {
+      printSemiState ();
+    }
+#endif
+  return iterate_buffer_attacks ();
+}
+
 //! Arachne single claim test
 void
 arachneClaimTest (Claimlist cl)
@@ -2573,17 +2586,6 @@ arachneClaimTest (Claimlist cl)
   {
     int newgoals;
 
-    int realStart (void)
-    {
-#ifdef DEBUG
-      if (DEBUGL (5))
-	{
-	  printSemiState ();
-	}
-#endif
-      return iterate_buffer_attacks ();
-    }
-
     proof_suppose_run (run, 0, cl->ev + 1);
     newgoals = add_recv_goals (run, 0, cl->ev + 1);