From 733b8eba571b45442f9d3e3cb4019ebe24cc94ac Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 24 Dec 2018 15:50:39 +0100
Subject: [PATCH] Moving fake nested function out of nesting.

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

diff --git a/src/hidelevel.c b/src/hidelevel.c
index 9e48e7b..f572701 100644
--- a/src/hidelevel.c
+++ b/src/hidelevel.c
@@ -235,21 +235,23 @@ iterate_interesting (const System sys, const Term goalterm, int (*func) ())
   return true;
 }
 
+//! Simple check for next function
+int
+possible (unsigned int l, unsigned int lmin, unsigned int lprot,
+	  unsigned int lknow)
+{
+  if (l < lmin)
+    {
+      // impossible, abort!
+      return false;
+    }
+  return true;
+}
+
 //! Determine whether a goal is impossible to satisfy because of the hidelevel lemma.
 int
 hidelevelImpossible (const System sys, const Term goalterm)
 {
-  int possible (unsigned int l, unsigned int lmin, unsigned int lprot,
-		unsigned int lknow)
-  {
-    if (l < lmin)
-      {
-	// impossible, abort!
-	return false;
-      }
-    return true;
-  }
-
   return !iterate_interesting (sys, goalterm, possible);
 }