1 files changed, 1 insertions, 0 deletions
diff --git a/gtk-gui.c b/gtk-gui.c
index f34393cc4..4120714f1 100644
--- a/gtk-gui.c
+++ b/gtk-gui.c
@@ -336,6 +336,7 @@ gboolean on_delete(GtkWidget* w, gpointer data)
 static void on_destroy(GtkWidget* w, gpointer data)
 {
 	dive_list_destroy();
+	info_widget_destroy();
 	gtk_main_quit();
 }