diff -r 08982abdcdad -r 8d7d6f17c6a7 src/Pure/Isar/isar_syn.ML
--- a/src/Pure/Isar/isar_syn.ML	Tue Apr 08 14:56:55 2014 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Tue Apr 08 14:59:36 2014 +0200
@@ -984,7 +984,7 @@
     (opt_modes -- Scan.option Parse.nat >> (fn (modes, limit) =>
       Toplevel.keep (fn state =>
        (if Isabelle_Process.is_active () then error "Illegal TTY command" else ();
-        case limit of NONE => () | SOME n => Options.default_put_int @{option goals_limit} n;
+        case limit of NONE => () | SOME n => Options.default_put_int @{system_option goals_limit} n;
         Toplevel.quiet := false;
         Print_Mode.with_modes modes (Toplevel.print_state true) state))));