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

get rid of debugging stub.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1226 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2005-01-05 05:35:01 +00:00
parent 2817258a18
commit 6a590f77c8
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
C/cdmgr.c
View File

@ -11,8 +11,13 @@
* File: cdmgr.c * * File: cdmgr.c *
* comments: Code manager * * comments: Code manager *
* * * *
* Last rev: $Date: 2005-01-04 02:50:21 $,$Author: vsc $ * * Last rev: $Date: 2005-01-05 05:35:01 $,$Author: vsc $ *
* $Log: not supported by cvs2svn $ * $Log: not supported by cvs2svn $
* Revision 1.148 2005/01/04 02:50:21 vsc
* - allow MegaClauses with blobs
* - change Diffs to be thread specific
* - include Christian's updates
*
* Revision 1.147 2004/12/28 22:20:35 vsc * Revision 1.147 2004/12/28 22:20:35 vsc
* some extra bug fixes for trail overflows: some cannot be recovered that easily, * some extra bug fixes for trail overflows: some cannot be recovered that easily,
* some can. * some can.
@ -390,10 +395,6 @@ Yap_BuildMegaClause(PredEntry *ap)
has_blobs |= (cl->ClFlags & HasBlobsMask); has_blobs |= (cl->ClFlags & HasBlobsMask);
cl = cl->ClNext; cl = cl->ClNext;
} }
if (ap->cs.p_code.NOfClauses > 1000000) {
extern long long int vsc_count;
vsc_count++;
}
/* ok, we got the chance for a mega clause */ /* ok, we got the chance for a mega clause */
if (has_blobs) { if (has_blobs) {
sz -= sizeof(StaticClause); sz -= sizeof(StaticClause);