From 0eeeffa379c8f17b4f5412f37cfe87dd72b80f99 Mon Sep 17 00:00:00 2001 From: vsc Date: Wed, 12 Dec 2001 20:08:12 +0000 Subject: [PATCH] assert_dynamic would lose module git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@229 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/preds.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pl/preds.yap b/pl/preds.yap index cfb654633..e1e06d9ad 100644 --- a/pl/preds.yap +++ b/pl/preds.yap @@ -70,7 +70,7 @@ assert(C) :- '$assert_dynamic'(V,Mod,_,_,_) :- var(V), !, throw(error(instantiation_error,assert(Mod:V))). '$assert_dynamic'(M:C,_,Where,R,P) :- !, - '$assert_dynamic'(C,Mod,Where,R,P). + '$assert_dynamic'(C,M,Where,R,P). '$assert_dynamic'((H:-G),M1,Where,R,P) :- (var(H) -> throw(error(instantiation_error,P)) ; H=M:C), !, ( M1 = M ->