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

blanks

Browse Source
This commit is contained in:
Vitor Santos Costa 2015-01-17 02:58:14 -08:00
parent 9623f70d3a
commit 21be46b123
1 changed files with 195 additions and 196 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
C/cdmgr.c
View File

@ -4722,7 +4722,7 @@ Yap_HidePred(PredEntry *pe)
}
pe->NextOfPE = HIDDEN_PREDICATES;
HIDDEN_PREDICATES = AbsPredProp(pe);
pe->PredFlags |= HiddenPredFlag;
pe->PredFlags |= HiddenPredFlag|NoTracePredFlag;
}
static Int /* $system_predicate(P) */
@ -6761,4 +6761,3 @@ Yap_InitCdMgr(void)
Yap_InitCPred("$predicate_live_cps", 4, p_predicate_lu_cps, 0L);
#endif
}