From efe827db6c2cbd5dfa3956097aa96a723b94eb14 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 10 May 2016 15:22:25 +0100
Subject: [PATCH] allow static_claus on static clauses wo source

---
 C/cdmgr.c    | 2 +-
 pl/debug.yap | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/C/cdmgr.c b/C/cdmgr.c
index 949a3eef3..4d8226d94 100644
--- a/C/cdmgr.c
+++ b/C/cdmgr.c
@@ -3631,7 +3631,7 @@ static Int fetch_next_static_clause(PredEntry *pe, yamop *i_code, Term th,
      don't do this!! I might have stored a choice-point and changed ASP
      Yap_RecoverSlots(3);
   */
-  if (cl == NULL || !(pe->PredFlags & SourcePredFlag)) {
+  if (cl == NULL) {
     UNLOCKPE(45, pe);
     return false;
   }
diff --git a/pl/debug.yap b/pl/debug.yap
index 027bc4cfc..bc2e01137 100644
--- a/pl/debug.yap
+++ b/pl/debug.yap
@@ -572,7 +572,7 @@ be lost.
 	*->
 	'$stop_creeping'(_),
     (
-	'$continue_debugging_goal'(yes, '$execute_clause'(G, M, R, CP))
+	'$creep'('$execute_clause'(G, M, R, CP), M)
      ;
      InRedo = true
     )