Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3

This commit is contained in:
Vitor Santos Costa 2013-03-05 19:06:44 -06:00
commit 5568236479

View File

@ -184,10 +184,9 @@ bind_varnames(term_t varnames ARG_LD)
t1 = ArgOfTerm(1, tl); t1 = ArgOfTerm(1, tl);
t2 = ArgOfTerm(2, tl); t2 = ArgOfTerm(2, tl);
tv = Yap_MkApplTerm(LOCAL_FunctorVar, 1, &t1); tv = Yap_MkApplTerm(LOCAL_FunctorVar, 1, &t1);
if (!IsVarTerm(t2)) { if (IsVarTerm(t2)) {
return FALSE; Bind_and_Trail(VarOfTerm(t2), tv);
} }
Bind_and_Trail(VarOfTerm(t2), tv);
t = TailOfTerm(t); t = TailOfTerm(t);
} }
return TRUE; return TRUE;