--- a/src/Pure/System/isabelle_system.scala Tue Nov 03 11:24:42 2015 +0100
+++ b/src/Pure/System/isabelle_system.scala Tue Nov 03 13:54:34 2015 +0100
@@ -329,11 +329,11 @@
val limited = new Limited_Progress(proc, progress_limit)
val (_, stdout) =
- Simple_Thread.future("bash_stdout") {
+ Standard_Thread.future("bash_stdout") {
File.read_lines(proc.stdout, limited(progress_stdout))
}
val (_, stderr) =
- Simple_Thread.future("bash_stderr") {
+ Standard_Thread.future("bash_stderr") {
File.read_lines(proc.stderr, limited(progress_stderr))
}