xpressn.c, fetchid(), #12/15 use fact

2015-10-10 15:05:43 +02:00 · 2015-10-10 15:05:43 +02:00 · 9041bf93ca
parent c8020f4811
commit 9041bf93ca
1 changed files with 0 additions and 3 deletions
--- a/src/frontend/numparam/xpressn.c
+++ b/src/frontend/numparam/xpressn.c
@ -705,10 +705,7 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end)
    spice_dstring_reinit(t);

    // facts: alfa(*s) == true && s < s_end
-    c = *s++;
-
    // facts: alfa(c) == true && s <= s_end
-    cadd(t, upcase(c));

    for (; s < s_end; ) {