From 736d42a5b0bc3ddb275bd56f71763306af1f8bf6 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sun, 7 Mar 2021 15:58:04 +0100
Subject: [PATCH] remove unused

---
 src/misc/string.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/misc/string.c b/src/misc/string.c
index 7e20daf10..b9dfa3f7b 100644
--- a/src/misc/string.c
+++ b/src/misc/string.c
@@ -464,7 +464,6 @@ nexttok_noparens(const char* s)
 {
     if (!s)
         return NULL;
-    int paren = 0;
 
     s = skip_ws(s);
     if (!*s)