From fe7eb85614244d5e0659c88431fbd9726fa33051 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Mon, 30 May 2016 11:23:32 +0100 Subject: move misc header into public API --- frontends/monkey/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'frontends/monkey/main.c') diff --git a/frontends/monkey/main.c b/frontends/monkey/main.c index ff70bda71..6443dbd20 100644 --- a/frontends/monkey/main.c +++ b/frontends/monkey/main.c @@ -33,7 +33,7 @@ #include "content/fetchers.h" #include "content/fetchers/resource.h" #include "content/hlcache.h" -#include "desktop/gui_misc.h" +#include "netsurf/misc.h" #include "desktop/netsurf.h" #include "monkey/dispatch.h" -- cgit v1.2.3