summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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 7e508a8cf..92268e3b8 100644
--- a/frontends/riscos/gui.c
+++ b/frontends/riscos/gui.c
@@ -2525,6 +2525,7 @@ int main(int argc, char** argv)
}
netsurf_exit();
+ nsoption_finalise(nsoptions, nsoptions_default);
return 0;
}