# HG changeset patch
# User wenzelm
# Date 1568548917 -7200
# Node ID a65b9624cb984584082de81cf1487d87aa2ea363
# Parent  e54213954efcd665e593214b01afe7781c24e7c4
tuned messages;

diff -r e54213954efc -r a65b9624cb98 src/Pure/PIDE/headless.scala
--- a/src/Pure/PIDE/headless.scala	Sun Sep 15 14:01:38 2019 +0200
+++ b/src/Pure/PIDE/headless.scala	Sun Sep 15 14:01:57 2019 +0200
@@ -319,7 +319,10 @@
         val delay_commit_clean =
           Standard_Thread.delay_first(commit_cleanup_delay max Time.zero) {
             val clean_theories = use_theories_state.change_result(_.clean_theories)
-            if (clean_theories.nonEmpty) resources.clean_theories(session, id, clean_theories)
+            if (clean_theories.nonEmpty) {
+              progress.echo("Removing " + clean_theories.length + " theories ...")
+              resources.clean_theories(session, id, clean_theories)
+            }
           }
 
         Session.Consumer[Session.Commands_Changed](getClass.getName) {