diff -r d781436e2490 -r dbde25a5bc53 ui/gtk/toolkit.c --- a/ui/gtk/toolkit.c Mon Jan 23 12:17:34 2017 +0100 +++ b/ui/gtk/toolkit.c Tue Jan 24 18:46:47 2017 +0100 @@ -38,7 +38,7 @@ #include "../common/document.h" #include "../common/properties.h" -#include +#include "../../ucx/utils.h" #include