Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/par_tactical.ML
changeset 68130 6fb85346cb79
parent 67660 0cae317eda7b
child 70521 9ddd66d53130 
--- a/src/Pure/par_tactical.ML	Wed May 09 19:53:37 2018 +0200
+++ b/src/Pure/par_tactical.ML	Wed May 09 20:45:57 2018 +0200
@@ -46,7 +46,7 @@
       Drule.strip_imp_prems (Thm.cprop_of st)
       |> map (Thm.adjust_maxidx_cterm ~1);
   in
-    if Multithreading.relevant goals andalso forall (fn g => Thm.maxidx_of_cterm g = ~1) goals then
+    if Future.relevant goals andalso forall (fn g => Thm.maxidx_of_cterm g = ~1) goals then
       let
         fun try_goal g =
           (case SINGLE tac (Goal.init g) of
isabelle