1.1 --- a/src/Pure/PIDE/command.ML Sun Aug 25 14:35:25 2013 +0200
1.2 +++ b/src/Pure/PIDE/command.ML Sun Aug 25 16:03:12 2013 +0200
1.3 @@ -130,7 +130,7 @@
1.4 local
1.5
1.6 fun run int tr st =
1.7 - if Goal.future_enabled () andalso Keyword.is_diag (Toplevel.name_of tr) then
1.8 + if Goal.future_enabled 1 andalso Keyword.is_diag (Toplevel.name_of tr) then
1.9 (Goal.fork_params {name = "Toplevel.diag", pos = Toplevel.pos_of tr, pri = ~1}
1.10 (fn () => Toplevel.command_exception int tr st); ([], SOME st))
1.11 else Toplevel.command_errors int tr st;