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

fix stack for construction of deep terms in PL_unify.

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-04-18 18:49:12 -05:00
parent e2d3e66632
commit dba3444a04
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
library/yap2swi/yap2swi.c
View File

@ -1243,8 +1243,8 @@ X_API int PL_unify_term(term_t l,...)
fprintf(stderr,"ERROR: very deep term in PL_unify_term, change MAX_DEPTH from %d\n", MAX_DEPTH); fprintf(stderr,"ERROR: very deep term in PL_unify_term, change MAX_DEPTH from %d\n", MAX_DEPTH);
return FALSE; return FALSE;
} }
stack[depth].nels = nels; stack[depth-1].nels = nels;
stack[depth].ptr = pt+1; stack[depth-1].ptr = pt+1;
depth++; depth++;
} }
*pt = t; *pt = t;
@ -1272,8 +1272,8 @@ X_API int PL_unify_term(term_t l,...)
fprintf(stderr,"very deep term in PL_unify_term\n"); fprintf(stderr,"very deep term in PL_unify_term\n");
return FALSE; return FALSE;
} }
stack[depth].nels = nels; stack[depth-1].nels = nels;
stack[depth].ptr = pt+1; stack[depth-1].ptr = pt+1;
depth++; depth++;
} }
*pt = t; *pt = t;
@ -1294,7 +1294,7 @@ X_API int PL_unify_term(term_t l,...)
fprintf(stderr,"very deep term in PL_unify_term\n"); fprintf(stderr,"very deep term in PL_unify_term\n");
return FALSE; return FALSE;
} }
stack[depth].nels = nels; stack[depth-1].nels = nels;
stack[depth].ptr = pt+1; stack[depth].ptr = pt+1;
depth++; depth++;
} }