From a92e5930ffbcb178a2d2420ee2f6d4834ffa90e1 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Tue, 28 May 2013 16:44:46 +0100 Subject: fixup issues with new options API merge --- riscos/gui.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'riscos/gui.c') diff --git a/riscos/gui.c b/riscos/gui.c index f82ce742d..79b07be42 100644 --- a/riscos/gui.c +++ b/riscos/gui.c @@ -965,7 +965,7 @@ void ro_gui_signal(int sig) xhourglass_on(); xhourglass_colours(0x0000ffff, 0x000000ff, &old_sand, &old_glass); - nsoption_dump(stderr); + nsoption_dump(stderr, NULL); /*rufl_dump_state();*/ #ifndef __ELF__ -- cgit v1.2.3