diff -r 62f1a55535e7 -r 0b33b9396851 ui/gtk/display.c --- a/ui/gtk/display.c Mon Feb 04 14:46:11 2019 +0100 +++ b/ui/gtk/display.c Mon Feb 04 17:49:50 2019 +0100 @@ -31,7 +31,7 @@ #include "display.h" #include "container.h" -#include "../../ucx/mempool.h" +#include #include "../common/context.h" #include "../common/object.h"