From 527756cca0471a55389a3494d35f9b1b13f20b7e Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Mon, 30 May 2016 11:29:39 +0100 Subject: move fetch header into public API --- frontends/riscos/gui.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'frontends/riscos/gui.c') diff --git a/frontends/riscos/gui.c b/frontends/riscos/gui.c index 79d89e2df..0a7120e7c 100644 --- a/frontends/riscos/gui.c +++ b/frontends/riscos/gui.c @@ -47,7 +47,7 @@ #include "utils/filename.h" #include "utils/url.h" #include "utils/corestrings.h" -#include "desktop/gui_fetch.h" +#include "netsurf/fetch.h" #include "netsurf/misc.h" #include "desktop/save_complete.h" #include "desktop/treeview.h" -- cgit v1.2.3