From d0c7ef121bb3514cc8234009a74690d9d9c17760 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 25 Nov 2013 19:19:44 +0100
Subject: [PATCH] give source property based on dynamic declarations

---
 C/cdmgr.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/C/cdmgr.c b/C/cdmgr.c
index c1a2dc50f..6a102d56a 100644
--- a/C/cdmgr.c
+++ b/C/cdmgr.c
@@ -2679,13 +2679,13 @@ purge_clauses(PredEntry *pred)
     Yap_PutValue(AtomAbol, MkAtomTerm(AtomTrue));
     retract_all(pred, static_in_use(pred,TRUE));
   }
-  pred->src.OwnerFile = AtomNil;
 }
 
 void
 Yap_Abolish(PredEntry *pred)
 {
   purge_clauses(pred);
+  pred->src.OwnerFile = AtomNil;
 }
 
 static Int 
@@ -3032,6 +3032,8 @@ p_owner_file( USES_REGS1 )
   }
   owner =  pe->src.OwnerFile;
   UNLOCKPE(49,pe);
+  if (owner == AtomNil)
+    return FALSE;
   return Yap_unify(ARG3, MkAtomTerm(owner));
 }
 
@@ -3047,6 +3049,7 @@ p_mk_d( USES_REGS1 )
   if (pe->OpcodeOfPred == UNDEF_OPCODE) {
     pe->OpcodeOfPred = FAIL_OPCODE;
   }
+  pe->src.OwnerFile = YapConsultingFile( PASS_REGS1 );
   UNLOCKPE(50,pe);
   return TRUE;
 }