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 --- riscos/theme_install.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'riscos/theme_install.c') diff --git a/riscos/theme_install.c b/riscos/theme_install.c index e5d5aafa3..0d436dce8 100644 --- a/riscos/theme_install.c +++ b/riscos/theme_install.c @@ -28,7 +28,7 @@ #include "desktop/browser.h" #include "riscos/dialog.h" #include "riscos/gui.h" -#include "desktop/options.h" +#include "utils/nsoption.h" #include "riscos/theme.h" #include "riscos/wimp.h" #include "riscos/wimp_event.h" -- cgit v1.2.3