From aa87d90ba97c2e43ae528dc76fbfbdcd6326a562 Mon Sep 17 00:00:00 2001 From: rlar Date: Sat, 10 Oct 2015 14:54:54 +0200 Subject: [PATCH] xpressn.c, fetchid(), #7/15 use fact --- src/frontend/numparam/xpressn.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/frontend/numparam/xpressn.c b/src/frontend/numparam/xpressn.c index 66db45e11..7850752a9 100644 --- a/src/frontend/numparam/xpressn.c +++ b/src/frontend/numparam/xpressn.c @@ -720,11 +720,10 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end) // facts: alfanum('\0') == false // facts: alfanum(upcase(x)) == alfanum(x) - c = upcase(c); ok = alfanum(c) || c == '.'; if (ok) - cadd(t, c); + cadd(t, upcase(c)); } while (ok);