From cbe4b31d4b7e71422e84d82005f17d73d01c14bd Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sat, 12 May 2018 11:22:39 +0200
Subject: [PATCH] do not delete symbols that have not been created here

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

diff --git a/src/frontend/numparam/spicenum.c b/src/frontend/numparam/spicenum.c
index ee4eddc13..35079be3e 100644
--- a/src/frontend/numparam/spicenum.c
+++ b/src/frontend/numparam/spicenum.c
@@ -331,9 +331,6 @@ nupa_del_dicoS(void)
     if(!dicoS)
         return;
 
-    for (i = dynmaxline; i >= 0; i--)
-        txfree(dicoS->dynrefptr[i]);
-
     txfree(dicoS->dynrefptr);
     txfree(dicoS->dyncategory);
     txfree(dicoS->inst_name);