From 903c4dbef9fae1e24a66a8ff7b745c799f6726cd Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Mon, 30 May 2016 10:57:22 +0100 Subject: move search header into public API --- desktop/gui_factory.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'desktop/gui_factory.c') diff --git a/desktop/gui_factory.c b/desktop/gui_factory.c index 07848ee02..0aba19751 100644 --- a/desktop/gui_factory.c +++ b/desktop/gui_factory.c @@ -34,7 +34,7 @@ #include "desktop/gui_fetch.h" #include "desktop/gui_misc.h" #include "desktop/gui_window.h" -#include "desktop/gui_search.h" +#include "netsurf/search.h" #include "desktop/gui_clipboard.h" #include "desktop/gui_utf8.h" #include "desktop/gui_layout.h" -- cgit v1.2.3