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/goal.ML
changeset 44113 0baa8bbd355a
parent 42495 1af81b70cf09
child 44114 64634a9ecd46 
--- a/src/Pure/goal.ML	Wed Aug 10 15:17:24 2011 +0200
+++ b/src/Pure/goal.ML	Wed Aug 10 16:05:14 2011 +0200
@@ -124,7 +124,8 @@
     let
       val _ = forked 1;
       val future =
-        singleton (Future.forks {name = name, group = NONE, deps = [], pri = ~1})
+        singleton
+          (Future.forks {name = name, group = NONE, deps = [], pri = ~1, interrupts = true})
           (fn () =>
             (*interruptible*)
             Exn.release
isabelle