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/ --- 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 f8d57fd33..767f6812e 100644 --- a/windows/gui.c +++ b/windows/gui.c @@ -33,7 +33,7 @@ #include "content/fetch.h" #include "css/utils.h" #include "desktop/browser_private.h" -#include "desktop/history_core.h" +#include "desktop/local_history.h" #include "desktop/mouse.h" #include "desktop/netsurf.h" #include "utils/nsoption.h" -- cgit v1.2.3