From ba9c7f060b8e93dad96b5835e1e0f65c03321c2e Mon Sep 17 00:00:00 2001 From: rlar Date: Sat, 10 Oct 2015 17:11:04 +0200 Subject: [PATCH] xpressn.c, fetchid(), #14/15 rewrite --- src/frontend/numparam/xpressn.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/frontend/numparam/xpressn.c b/src/frontend/numparam/xpressn.c index aa813a790..f9752276a 100644 --- a/src/frontend/numparam/xpressn.c +++ b/src/frontend/numparam/xpressn.c @@ -704,16 +704,16 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end) // facts: alfa(*s) == true && s < s_end // facts: alfa(c) == true && s <= s_end - for (; s < s_end; ) { + for (; s < s_end; s++) { - char c = *s++; + char c = *s; // facts: upcase('\0') == '\0' // facts: alfanum('\0') == false // facts: alfanum(upcase(x)) == alfanum(x) if (!(alfanum(c) || c == '.')) - return s - 1; + return s; cadd(t, upcase(c)); }