From cc68d8fadbc2f2216ad459ec5dd2d4d270ce6144 Mon Sep 17 00:00:00 2001
From: rlar <rlar>
Date: Sat, 10 Oct 2015 14:50:10 +0200
Subject: [PATCH] xpressn.c, fetchid(), #4/15 use fact

---
 src/frontend/numparam/xpressn.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/frontend/numparam/xpressn.c b/src/frontend/numparam/xpressn.c
index 74a468695..4a0868869 100644
--- a/src/frontend/numparam/xpressn.c
+++ b/src/frontend/numparam/xpressn.c
@@ -706,8 +706,6 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end)
     c = *s++;
 
     // facts: alfa(c) == true && s <= s_end
-    while (!alfa(c) && (s < s_end))
-        c = *s++;
 
     spice_dstring_reinit(t);
     cadd(t, upcase(c));