From 880b41bb7f6e790fe711070b9ad75da7ac9b0774 Mon Sep 17 00:00:00 2001
From: rlar <rlar>
Date: Sat, 10 Oct 2015 16:34:21 +0200
Subject: [PATCH] xpressn.c, fetchid(), #10/15 rewrite

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

diff --git a/src/frontend/numparam/xpressn.c b/src/frontend/numparam/xpressn.c
index 8729cb3da..04b9e8d21 100644
--- a/src/frontend/numparam/xpressn.c
+++ b/src/frontend/numparam/xpressn.c
@@ -710,10 +710,7 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end)
     spice_dstring_reinit(t);
     cadd(t, upcase(c));
 
-    do
-    {
-        if (s >= s_end)
-            break;
+    for (; s < s_end; ) {
 
         c = *s++;
 
@@ -727,8 +724,7 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end)
             return s - 1;
 
         cadd(t, upcase(c));
-
-    } while (1);
+    }
 
     return s;
 }