From 3c2c6e8cdef4727f59218c9b262d30b2b2355d6e Mon Sep 17 00:00:00 2001
From: h_vogt <h_vogt>
Date: Sun, 17 Jul 2016 13:32:16 +0200
Subject: [PATCH] vectors.c, vec_get(), remove a memory leak

---
 src/frontend/vectors.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/frontend/vectors.c b/src/frontend/vectors.c
index 4069b065a..c0971d50b 100644
--- a/src/frontend/vectors.c
+++ b/src/frontend/vectors.c
@@ -638,8 +638,7 @@ vec_get(const char *vec_name)
             }
         }
 
-        tfree(vv->va_name);
-        tfree(vv); /* va: tfree vv->va_name and vv (avoid memory leakages) */
+        free_struct_variable(vv);
         tfree(wd);
         vec_new(d);
         tfree(whole);