From de56170cb99ad40ba72dc2bc864d095717521176 Mon Sep 17 00:00:00 2001 From: Daniel Silverstone Date: Fri, 22 May 2020 09:34:10 +0100 Subject: frontends/atari: Include the *right* options header Signed-off-by: Daniel Silverstone --- frontends/atari/gui.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'frontends/atari') diff --git a/frontends/atari/gui.c b/frontends/atari/gui.c index 1e2dfd14c..3b324f507 100644 --- a/frontends/atari/gui.c +++ b/frontends/atari/gui.c @@ -29,6 +29,7 @@ #include "utils/log.h" #include "utils/messages.h" #include "utils/corestrings.h" +#include "utils/nsoption.h" #include "netsurf/browser_window.h" #include "netsurf/layout.h" #include "netsurf/window.h" @@ -65,7 +66,6 @@ #include "atari/filetype.h" #include "atari/bitmap.h" #include "atari/font.h" -#include "atari/options.h" #include "cflib.h" static bool atari_quit = false; -- cgit v1.2.3