fix memory expansion
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@868 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
98578b16dc
commit
c14a52c419
@ -3226,7 +3226,7 @@ static ClauseDef *
|
|||||||
copy_clauses(ClauseDef *max0, ClauseDef *min0, CELL *top)
|
copy_clauses(ClauseDef *max0, ClauseDef *min0, CELL *top)
|
||||||
{
|
{
|
||||||
UInt sz = ((max0+1)-min0)*sizeof(ClauseDef);
|
UInt sz = ((max0+1)-min0)*sizeof(ClauseDef);
|
||||||
if ((char *)top + sz > Yap_TrailTop) {
|
while ((char *)top + sz > Yap_TrailTop) {
|
||||||
if(!Yap_growtrail (sizeof(CELL) * 16 * 1024L)) {
|
if(!Yap_growtrail (sizeof(CELL) * 16 * 1024L)) {
|
||||||
longjmp(Yap_CompilerBotch,3);
|
longjmp(Yap_CompilerBotch,3);
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user