# HG changeset patch
# User wenzelm
# Date 1521042485 -3600
# Node ID ec9f1ec763a01e7f14f9e084e5f22b04053a8a71
# Parent  b9fae46f497b42a4c69827c289b96f5406a799cb
tuned signature;

diff -r b9fae46f497b -r ec9f1ec763a0 src/Tools/VSCode/src/channel.scala
--- a/src/Tools/VSCode/src/channel.scala	Wed Mar 14 15:08:46 2018 +0100
+++ b/src/Tools/VSCode/src/channel.scala	Wed Mar 14 16:48:05 2018 +0100
@@ -98,7 +98,7 @@
 
   /* progress */
 
-  def make_progress(verbose: Boolean = false): Progress =
+  def progress(verbose: Boolean = false): Progress =
     new Progress {
       override def echo(msg: String): Unit = log_writeln(msg)
       override def echo_warning(msg: String): Unit = log_warning(msg)
diff -r b9fae46f497b -r ec9f1ec763a0 src/Tools/VSCode/src/server.scala
--- a/src/Tools/VSCode/src/server.scala	Wed Mar 14 15:08:46 2018 +0100
+++ b/src/Tools/VSCode/src/server.scala	Wed Mar 14 16:48:05 2018 +0100
@@ -258,7 +258,7 @@
           val start_msg = "Build started for Isabelle/" + session_name + " ..."
           val fail_msg = "Session build failed -- prover process remains inactive!"
 
-          val progress = channel.make_progress(verbose = true)
+          val progress = channel.progress(verbose = true)
           progress.echo(start_msg); channel.writeln(start_msg)
 
           if (!Build.build(options, progress = progress, build_heap = true,