src/Pure/goal.ML
changeset 42371 5900f06b4198
parent 42370 244911efd275
child 42495 1af81b70cf09
     1.1 --- a/src/Pure/goal.ML	Sat Apr 16 22:21:34 2011 +0200
     1.2 +++ b/src/Pure/goal.ML	Sat Apr 16 23:38:25 2011 +0200
     1.3 @@ -347,7 +347,7 @@
     1.4  fun PARALLEL_GOALS tac =
     1.5    Thm.adjust_maxidx_thm ~1 #>
     1.6    (fn st =>
     1.7 -    if not (future_enabled ()) orelse Thm.maxidx_of st >= 0 orelse Thm.nprems_of st <= 1
     1.8 +    if not (Multithreading.enabled ()) orelse Thm.maxidx_of st >= 0 orelse Thm.nprems_of st <= 1
     1.9      then DETERM tac st
    1.10      else
    1.11        let