diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix for trying to add clauses to a C pred.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1398 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2005-10-15 02:05:57 +00:00
parent a09b33381e
commit 68e8e54f84
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
C/cdmgr.c
View File

@ -11,8 +11,12 @@
* File: cdmgr.c *
* comments: Code manager *
* *
* Last rev: $Date: 2005-08-05 14:55:02 $,$Author: vsc $ *
* Last rev: $Date: 2005-10-15 02:05:57 $,$Author: vsc $ *
* $Log: not supported by cvs2svn $
* Revision 1.168 2005/08/05 14:55:02 vsc
* first steps to allow mavars with tabling
* fix trailing for tabling with multiple get_cons
*
* Revision 1.167 2005/08/02 03:09:49 vsc
* fix debugger to do well nonsource predicates.
*
@ -1676,8 +1680,9 @@ addclause(Term t, yamop *cp, int mode, Term mod, Term *t4ref)
#endif
pflags = p->PredFlags;
/* we are redefining a prolog module predicate */
if (p->ModuleOfPred == PROLOG_MODULE &&
mod != TermProlog && mod) {
if ((pflags & (UserCPredFlag|CArgsPredFlag|NumberDBPredFlag|AtomDBPredFlag|TestPredFlag|AsmPredFlag|CPredFlag|BinaryTestPredFlag)) ||
(p->ModuleOfPred == PROLOG_MODULE &&
mod != TermProlog && mod) ) {
#if defined(YAPOR) || defined(THREADS)
WPP = NULL;
#endif