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

fix bad overflow handling

Browse Source
This commit is contained in:
vsc
2010-12-31 05:37:25 +00:00
parent 05e15454ee
commit 58b838b8e1
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
C/cdmgr.c
View File

@@ -918,6 +918,7 @@ split_megaclause(PredEntry *ap)
}
return;
}
break;
}
Yap_ClauseSpace += sizeof(StaticClause)+mcl->ClItemSize+(UInt)NEXTOP((yamop *)NULL,p);
new->ClFlags = StaticMask|FactMask;

2
packages/jpl

Submodule packages/jpl updated: 29151b2fe6...f11e3d4368