From bbd68a03839f2bb70668a84a24f7eb0ad95c031c Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 25 Apr 2007 18:18:31 +0200
Subject: [PATCH] barvinok_maximize: evalue_read: allow identifiers to contain
 digits

---
 maximize.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maximize.cc b/maximize.cc
index dd57ded..b4bb167 100644
--- a/maximize.cc
+++ b/maximize.cc
@@ -246,7 +246,7 @@ static struct token *stream_next_token(struct stream *s)
     if (c == '#' || isalpha(c)) {
 	tok = token_new(line, col);
 	stream_push_char(s, c);
-	while ((c = stream_getc(s)) != -1 && isalpha(c))
+	while ((c = stream_getc(s)) != -1 && isalnum(c))
 	    stream_push_char(s, c);
 	if (c != -1)
 	    stream_ungetc(s, c);
-- 
2.11.4.GIT