--- a/src/ui/tool/node.cpp 2020-05-01 15:18:52.000000000 +0200 +++ b/src/ui/tool/node.cpp 2020-08-18 01:25:05.266412299 +0200 @@ -7,6 +7,7 @@ * Released under GNU GPL v2+, read the file 'COPYING' for more information. */ +#include #include #include #include