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

ifix bad call to unnumbervars.

Browse Source
This commit is contained in:
Vítor Santos Costa 2011-11-16 14:59:28 +00:00
parent 95b6f3a8c8
commit cadb0fe4ae
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/utilpreds.c
View File

@ -4723,7 +4723,7 @@ Yap_UnNumberTerm(Term inp, int share) {
static Int static Int
p_unnumbervars( USES_REGS1 ) { p_unnumbervars( USES_REGS1 ) {
/* this should be a standard Prolog term, so we allow sharing? */ /* this should be a standard Prolog term, so we allow sharing? */
return Yap_unify(Yap_UnNumberTerm(ARG1, FALSE PASS_REGS), ARG2); return Yap_unify(UnnumberTerm(ARG1, 2, FALSE PASS_REGS), ARG2);
} }
void Yap_InitUtilCPreds(void) void Yap_InitUtilCPreds(void)