diff --git a/C/atomic.c b/C/atomic.c index 79f0a79f0..32c766fdc 100644 --- a/C/atomic.c +++ b/C/atomic.c @@ -506,7 +506,7 @@ p_number_chars( USES_REGS1 ) return Yap_unify( ARG1, tf ); } /* error handling */ - if (LOCAL_Error_TYPE && Yap_HandleError( "atom_chars/2" )) { + if (LOCAL_Error_TYPE && Yap_HandleError( "number_chars/2" )) { goto restart_aux; } return FALSE; diff --git a/C/stdpreds.c b/C/stdpreds.c index 47180669c..ad1169c52 100644 --- a/C/stdpreds.c +++ b/C/stdpreds.c @@ -607,13 +607,13 @@ p_univ( USES_REGS1 ) if (IsNumTerm(twork)) { Term tt = TailOfTerm(t2); if (IsVarTerm(tt) || tt != MkAtomTerm(AtomNil)) { - Yap_Error(TYPE_ERROR_ATOM, twork, "(=..)/2"); + Yap_Error(TYPE_ERROR_ATOMIC, twork, "(=..)/2"); return (FALSE); } return (Yap_unify_constant(ARG1, twork)); } if (!IsAtomTerm(twork)) { - Yap_Error(TYPE_ERROR_ATOM, twork, "(=..)/2"); + Yap_Error(TYPE_ERROR_ATOMIC, twork, "(=..)/2"); return (FALSE); } at = AtomOfTerm(twork);