diff options
| -rw-r--r-- | src/tools/bookmark_ignore.c | 1 |
1 files changed, 1 insertions, 0 deletions
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 <glib.h> #include <glib/gstdio.h> #include <stdlib.h> +#include <string.h> #include "config/files.h" #include "config/preferences.h" |