diff -r 237ee582d663 -r 4f3a5f4c1169 src/Pure/Isar/isar_syn.ML
--- a/src/Pure/Isar/isar_syn.ML	Tue May 14 12:22:18 2013 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Tue May 14 12:31:11 2013 +0200
@@ -975,7 +975,7 @@
   Outer_Syntax.improper_command @{command_spec "pr"} "print current proof state (if present)"
     (opt_modes -- Scan.option Parse.nat >> (fn (modes, limit) =>
       Toplevel.keep (fn state =>
-       (case limit of NONE => () | SOME n => Options.default_put_int "goals_limit" n;
+       (case limit of NONE => () | SOME n => Options.default_put_int @{option goals_limit} n;
         Toplevel.quiet := false;
         Print_Mode.with_modes modes (Toplevel.print_state true) state))));