--- a/src/Pure/PIDE/headless.scala Mon Sep 30 12:52:16 2019 +0200
+++ b/src/Pure/PIDE/headless.scala Mon Sep 30 13:11:22 2019 +0200
@@ -320,7 +320,7 @@
Standard_Thread.delay_first(commit_cleanup_delay max Time.zero) {
val clean_theories = use_theories_state.change_result(_.clean_theories)
if (clean_theories.nonEmpty) {
- progress.echo("Removing " + clean_theories.length + " theories")
+ progress.echo("Removing " + clean_theories.length + " theories ...")
resources.clean_theories(session, id, clean_theories)
}
}