From 9041bf93caecff4ae52c1d073db8199380a145c2 Mon Sep 17 00:00:00 2001
From: rlar <rlar>
Date: Sat, 10 Oct 2015 15:05:43 +0200
Subject: [PATCH] xpressn.c, fetchid(), #12/15 use fact

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

diff --git a/src/frontend/numparam/xpressn.c b/src/frontend/numparam/xpressn.c
index a08a085cc..fb8197b01 100644
--- a/src/frontend/numparam/xpressn.c
+++ b/src/frontend/numparam/xpressn.c
@@ -705,10 +705,7 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end)
     spice_dstring_reinit(t);
 
     // facts: alfa(*s) == true && s < s_end
-    c = *s++;
-
     // facts: alfa(c) == true && s <= s_end
-    cadd(t, upcase(c));
 
     for (; s < s_end; ) {