diff --git a/src/tools/bookmark_ignore.c b/src/tools/bookmark_ignore.c index 5e6a43c5..09053e5b 100644 --- a/src/tools/bookmark_ignore.c +++ b/src/tools/bookmark_ignore.c @@ -38,6 +38,7 @@ #include #include #include +#include #include "config/files.h" #include "config/preferences.h"