Called uninitTypes() in uiUninit() for the GTK+ backend.

This commit is contained in:
Pietro Gagliardi 2015-07-01 12:47:16 -04:00
parent 7bacc356a7
commit 05c7a7b7c7
1 changed files with 1 additions and 0 deletions

View File

@ -21,6 +21,7 @@ const char *uiInit(uiInitOptions *o)
void uiUninit(void)
{
uninitMenus();
uninitTypes();
uninitAlloc();
}