name/2 fix

This commit is contained in:
Vítor Santos Costa 2018-08-08 20:45:35 +01:00
parent 8196666cdc
commit 4a048aad7d

View File

@ -326,7 +326,7 @@ restart_aux:
return false; return false;
} }
// verify if an atom, int, float or bi§gnnum // verify if an atom, int, float or bi§gnnum
NewT = Yap_AtomicToListOfCodes(t1 PASS_REGS); NewT = Yap_AtomSWIToListOfCodes(t1 PASS_REGS);
if (NewT) { if (NewT) {
pop_text_stack(l); pop_text_stack(l);
return Yap_unify(NewT, ARG2); return Yap_unify(NewT, ARG2);