This commit is contained in:
Vitor Santos Costa 2016-08-15 14:51:46 -05:00
parent cad55bcf71
commit ed6385a3e7

View File

@ -719,7 +719,7 @@ static Int term_to_atom(USES_REGS1) {
at = AtomOfTerm(t2);
}
ctl = TermNil;
return Yap_AtomToTerm(at, ctl) == 0L && Yap_unify(rc, ARG1);
return (rc = Yap_AtomToTerm(at, ctl)) && Yap_unify(rc, ARG1);
}
void Yap_InitWriteTPreds(void) {