From 3f45e535397b45a60c696aa68565aca4d76b1f2e Mon Sep 17 00:00:00 2001 From: Michael Drake Date: Wed, 10 Jul 2013 11:55:42 +0100 Subject: s/history_core/local_history/ --- atari/gui.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'atari/gui.c') diff --git a/atari/gui.c b/atari/gui.c index 5b0df84a0..df205aa6e 100644 --- a/atari/gui.c +++ b/atari/gui.c @@ -35,7 +35,7 @@ #include "content/fetchers/resource.h" #include "css/utils.h" #include "desktop/gui.h" -#include "desktop/history_core.h" +#include "desktop/local_history.h" #include "desktop/plotters.h" #include "desktop/netsurf.h" #include "desktop/401login.h" -- cgit v1.2.3