xpressn.c, fetchid(), #7/15 use fact
This commit is contained in:
parent
9a69f79feb
commit
aa87d90ba9
|
|
@ -720,11 +720,10 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end)
|
||||||
// facts: alfanum('\0') == false
|
// facts: alfanum('\0') == false
|
||||||
// facts: alfanum(upcase(x)) == alfanum(x)
|
// facts: alfanum(upcase(x)) == alfanum(x)
|
||||||
|
|
||||||
c = upcase(c);
|
|
||||||
ok = alfanum(c) || c == '.';
|
ok = alfanum(c) || c == '.';
|
||||||
|
|
||||||
if (ok)
|
if (ok)
|
||||||
cadd(t, c);
|
cadd(t, upcase(c));
|
||||||
|
|
||||||
} while (ok);
|
} while (ok);
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue