diff options
Diffstat (limited to 'frontends/riscos/gui.c')
| -rw-r--r-- | frontends/riscos/gui.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontends/riscos/gui.c b/frontends/riscos/gui.c index 458f49108..52081b218 100644 --- a/frontends/riscos/gui.c +++ b/frontends/riscos/gui.c @@ -76,6 +76,7 @@ #include "riscos/local_history.h" #include "riscos/global_history.h" #include "riscos/cookies.h" +#include "riscos/pageinfo.h" #include "riscos/wimp_event.h" #include "riscos/uri.h" #include "riscos/url_protocol.h" @@ -1592,6 +1593,7 @@ static void gui_quit(void) ro_gui_window_quit(); ro_gui_local_history_finalise(); ro_gui_global_history_finalise(); + ro_gui_pageinfo_finalise(); ro_gui_hotlist_finalise(); ro_gui_cookies_finalise(); ro_gui_saveas_quit(); |