From ee6e6eec050a38d9e795df86fa7a45ca313f8845 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Sat, 25 May 2013 22:46:27 +0100 Subject: move options include --- windows/gui.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'windows/gui.c') diff --git a/windows/gui.c b/windows/gui.c index e318f3a4e..159e8f0c1 100644 --- a/windows/gui.c +++ b/windows/gui.c @@ -36,7 +36,7 @@ #include "desktop/history_core.h" #include "desktop/mouse.h" #include "desktop/netsurf.h" -#include "desktop/options.h" +#include "utils/nsoption.h" #include "desktop/plotters.h" #include "desktop/textinput.h" #include "render/html.h" -- cgit v1.2.3