From ffb97269a0d2d48e6775f0c8735ff71238f4a308 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Tue, 21 Oct 2014 00:26:40 +0100 Subject: [PATCH] ISO support (Paulo Moura). --- C/atomic.c | 2 +- C/stdpreds.c | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) 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);