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/System/invoke_scala.scala
changeset 61556 0d4ee4168e41
parent 56730 e723f041b6d0
child 61561 f35786faee6c 
--- a/src/Pure/System/invoke_scala.scala	Tue Nov 03 11:24:42 2015 +0100
+++ b/src/Pure/System/invoke_scala.scala	Tue Nov 03 13:54:34 2015 +0100
@@ -94,7 +94,7 @@
     msg.properties match {
       case Markup.Invoke_Scala(name, id) =>
         futures += (id ->
-          Simple_Thread.submit_task {
+          Standard_Thread.submit_task {
             val (tag, result) = Invoke_Scala.method(name, msg.text)
             fulfill(prover, id, tag, result)
           })
isabelle