xpressn.c, fetchid(), #11/15 reorder

This commit is contained in:
rlar
2015-10-10 20:20:44 +02:00
parent 880b41bb7f
commit c8020f4811
+2 -2
View File
@@ -702,12 +702,12 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end)
char c;
bool ok;
spice_dstring_reinit(t);
// facts: alfa(*s) == true && s < s_end
c = *s++;
// facts: alfa(c) == true && s <= s_end
spice_dstring_reinit(t);
cadd(t, upcase(c));
for (; s < s_end; ) {