From f0a617a01f5d16a7fc6981a58c34eb42c4ca696a Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 2 May 2011 23:29:48 +0100
Subject: [PATCH] allow assert to be independent of file.

---
 C/cdmgr.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/C/cdmgr.c b/C/cdmgr.c
index cef1ea4ea..158379201 100644
--- a/C/cdmgr.c
+++ b/C/cdmgr.c
@@ -2507,8 +2507,10 @@ p_compile_dynamic( USES_REGS1 )
     if (RepAtom(AtomOfTerm(t1))->StrOfAE[0] == 'f') mode = asserta;
     else mode = assertz;						    
   } else mode = IntegerOfTerm(t1);
-  if (mode == assertz && consult_level)
-    mode = consult;    
+  /* separate assert in current file from reconsult
+    if (mode == assertz && consult_level && mod == CurrentModule)
+      mode = consult;    
+  */
   old_optimize = optimizer_on;
   optimizer_on = FALSE;
   YAPEnterCriticalSection();