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

fix bad test for space overflow

Browse Source
This commit is contained in:
Costa Vitor 2009-06-01 19:28:30 -05:00
parent 8e30d82119
commit 8e55611d90
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
C/c_interface.c
View File

@ -2570,10 +2570,12 @@ YAP_OpenList(int n)
Term t; Term t;
BACKUP_H(); BACKUP_H();
if (H+2*n < ASP-1024) { if (H+2*n > ASP-1024) {
if (!dogc()) if (!dogc()) {
RECOVER_H();
return FALSE; return FALSE;
} }
}
t = AbsPair(H); t = AbsPair(H);
H += 2*n; H += 2*n;