diff -r 62f1a55535e7 -r 0b33b9396851 ui/gtk/toolkit.c --- a/ui/gtk/toolkit.c Mon Feb 04 14:46:11 2019 +0100 +++ b/ui/gtk/toolkit.c Mon Feb 04 17:49:50 2019 +0100 @@ -38,7 +38,7 @@ #include "../common/document.h" #include "../common/properties.h" -#include "../../ucx/utils.h" +#include #include