summaryrefslogtreecommitdiff
path: root/frontends/riscos
diff options
context:
space:
mode:
Diffstat (limited to 'frontends/riscos')
-rw-r--r--frontends/riscos/gui.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/frontends/riscos/gui.c b/frontends/riscos/gui.c
index a534bceff..3ac9d4aa9 100644
--- a/frontends/riscos/gui.c
+++ b/frontends/riscos/gui.c
@@ -2513,6 +2513,7 @@ int main(int argc, char** argv)
}
netsurf_exit();
+ nsoption_finalise(nsoptions, nsoptions_default);
return 0;
}