From f514dc310a1ef514de8f161b0c49756a8a302186 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Mon, 20 Aug 2001 00:42:59 +0000
Subject: memory leak fixed

---
 mixlib/mix_vm_command.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mixlib/mix_vm_command.c b/mixlib/mix_vm_command.c
index 0ccfd7b..e9e3751 100644
--- a/mixlib/mix_vm_command.c
+++ b/mixlib/mix_vm_command.c
@@ -360,6 +360,7 @@ mix_vm_cmd_dispatcher_delete (mix_vm_cmd_dispatcher_t *dis)
 #endif
   for (k = 0; k < PRNO_; ++k) mix_predicate_delete (dis->preds[k]);
   g_hash_table_foreach_remove (dis->mem_preds, del_pred_, NULL);
+  g_hash_table_destroy (dis->mem_preds);
   g_free (dis);
 }
 
-- 
cgit v1.2.3