From acc3404d71c9b991d87ffab4cb4844b0eb8a9291 Mon Sep 17 00:00:00 2001
From: jjgarcia <jjgarcia>
Date: Mon, 23 Jul 2001 09:31:59 +0000
Subject: [PATCH] Use isdigit() instead of isnumber()

---
 src/c/dpp.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/c/dpp.c b/src/c/dpp.c
index 1fcb9f0bb..50b79d435 100644
--- a/src/c/dpp.c
+++ b/src/c/dpp.c
@@ -217,7 +217,7 @@ read_name(int is_symbol)
 	do {
 		if (isalpha(c))
 			; /* c=tolower(c) */
-		else if (isnumber(c))
+		else if (isdigit(c))
 			;
 		else if (c == '-' || c == '_')
 			c = '_';