From c28f79296f3d7ee77a56bbe94bdf5ed606251ddc Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 24 Dec 2018 16:05:33 +0100
Subject: [PATCH] Removing another fake nested function.

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

diff --git a/src/arachne.c b/src/arachne.c
index e199c48..a8241a6 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -1230,6 +1230,14 @@ proof_go_up (void)
   return;
 }
 
+//! Print the state of a binding (with indent)
+int
+binding_state_print (void *dt)
+{
+  binding_indent_print ((Binding) dt, 1);
+  return 1;
+}
+
 //! Print the current semistate
 void
 printSemiState ()
@@ -1237,12 +1245,6 @@ printSemiState ()
   int run;
   int open;
 
-  int binding_state_print (void *dt)
-  {
-    binding_indent_print ((Binding) dt, 1);
-    return 1;
-  }
-
   indentPrint ();
   eprintf ("!! --=[ Semistate ]=--\n");
   indentPrint ();