From 888a3d7a8c313481de4004a5a1766f85c0dd7f20 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Mon, 9 Jul 2001 22:49:55 +0000
Subject: history file

---
 mixgtk/mixgtk.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mixgtk/mixgtk.c')

diff --git a/mixgtk/mixgtk.c b/mixgtk/mixgtk.c
index 1198fb3..9c18703 100644
--- a/mixgtk/mixgtk.c
+++ b/mixgtk/mixgtk.c
@@ -136,6 +136,6 @@ void
 mixgtk_release (void) 
 {
   if (mixgtk_config_is_autosave ()) mixgtk_config_save ();
-  
+  mix_vm_cmd_dispatcher_delete (mixgtk_cmd_dispatcher_get_mix_dispatcher ());
   mix_release_lib ();
 }
-- 
cgit v1.2.3