From 0e9a98fa3046f72719f0a0c3a192c5a4b0b61882 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 26 Feb 2010 12:01:24 +0000
Subject: [PATCH] handle right cases where both argumnets to number_ are bound.

---
 C/stdpreds.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/C/stdpreds.c b/C/stdpreds.c
index ae6ec336c..cbb2e1743 100644
--- a/C/stdpreds.c
+++ b/C/stdpreds.c
@@ -1937,7 +1937,7 @@ p_number_chars(void)
       return FALSE;
     }
   }
-  if (IsNonVarTerm(t1)) {
+  if (IsNonVarTerm(t1) && IsVarTerm(t)) {
     Term            NewT;
     if (!IsNumTerm(t1)) {
       Yap_Error(TYPE_ERROR_NUMBER, t1, "number_chars/2");
@@ -2147,7 +2147,7 @@ p_number_codes(void)
       return FALSE;
     }
   }
-  if (IsNonVarTerm(t1)) {
+  if (IsNonVarTerm(t1) && IsVarTerm(t)) {
     if (IsIntTerm(t1)) {
 #if SHORT_INTS
       sprintf(String, "%ld", IntOfTerm(t1));