diff --git a/C/iopreds.c b/C/iopreds.c old mode 100644 new mode 100755 diff --git a/C/pl-yap.c b/C/pl-yap.c index 9e5e16dea..47b4c47e7 100755 --- a/C/pl-yap.c +++ b/C/pl-yap.c @@ -301,6 +301,8 @@ int _PL_unify_atomic(term_t t, PL_atomic_t a) { GET_LD + if (IsApplTerm(a) || IsAtomTerm(a)) + return Yap_unify(Yap_GetFromSlot(t PASS_REGS), a); return PL_unify_atom(t, a); }