From 9a69f79feb0fd08c7a99fce364967672f495d545 Mon Sep 17 00:00:00 2001
From: rlar <rlar>
Date: Sat, 10 Oct 2015 16:01:18 +0200
Subject: [PATCH] xpressn.c, fetchid(), #6/15 use fact

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

diff --git a/src/frontend/numparam/xpressn.c b/src/frontend/numparam/xpressn.c
index c65bb8646..66db45e11 100644
--- a/src/frontend/numparam/xpressn.c
+++ b/src/frontend/numparam/xpressn.c
@@ -714,7 +714,7 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end)
     {
         c = *s++;
         if (s > s_end)
-            c = '\0';
+            break;
 
         // facts: upcase('\0') == '\0'
         // facts: alfanum('\0') == false