From 8c9b18ef7ed342efe1ad515005ba5a76dcdddeff Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Sun, 19 Aug 2018 17:24:10 +0200
Subject: [PATCH] fix a small memory leak

---
 src/frontend/resource.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/frontend/resource.c b/src/frontend/resource.c
index 1cc5e63a1..133214dae 100644
--- a/src/frontend/resource.c
+++ b/src/frontend/resource.c
@@ -423,7 +423,9 @@ printres(char *name)
         if (name && v) {
 #endif
             fprintf(cp_out, "%s = ", v->va_name);
-            wl_print(cp_varwl(v), cp_out);
+            wordlist *wltmp = cp_varwl(v);
+            wl_print(wltmp, cp_out);
+            wl_free(wltmp);
             (void) putc('\n', cp_out);
             yy = TRUE;
         } else if (v) {