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 ();