fix a memory leak

diff --git a/workspace.c b/workspace.c
index 26bbe8abcbcd70fb2f30d79a2e1f9d06249fbc85..9fc4d83d522795b0bfab4c1e4043527694dd1e5c 100644 (file)
--- a/workspace.c
+++ b/workspace.c
@@ -23,8 +23,17 @@ workspace_t *alloc_ws ()
 workspace_t *backup_ws (workspace_t *ws)
 {
     ws->answer = answer;
+    if (ws->argument) {
+        free_tab (ws->argument);
+    }
     ws->argument = copy_tab (argument);
+    if (ws->stack) {
+        free_tab (ws->stack);
+    }
     ws->stack = copy_tab (stack);
+    if (ws->storage) {
+        free_tab (ws->storage);
+    }
     ws->storage = copy_tab (storage);
     return ws;
 }