From 05c7a7b7c70387a35a20ffd6f3d2029e5dd1b99e Mon Sep 17 00:00:00 2001
From: Pietro Gagliardi <pietro10@mac.com>
Date: Wed, 1 Jul 2015 12:47:16 -0400
Subject: [PATCH] Called uninitTypes() in uiUninit() for the GTK+ backend.

---
 redo/unix/main.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/redo/unix/main.c b/redo/unix/main.c
index 6a289996..9c45bd88 100644
--- a/redo/unix/main.c
+++ b/redo/unix/main.c
@@ -21,6 +21,7 @@ const char *uiInit(uiInitOptions *o)
 void uiUninit(void)
 {
 	uninitMenus();
+	uninitTypes();
 	uninitAlloc();
 }