# HG changeset patch
# User wenzelm
# Date 1636025562 -3600
# Node ID df1b9f63b2bee25b4bf703739f24cbb61255fafa
# Parent  c8327efc7af1da4cf93cd33830192a55cea45fc7
tuned messages;

diff -r c8327efc7af1 -r df1b9f63b2be src/Pure/Thy/presentation.scala
--- a/src/Pure/Thy/presentation.scala	Thu Nov 04 12:25:23 2021 +0100
+++ b/src/Pure/Thy/presentation.scala	Thu Nov 04 12:32:42 2021 +0100
@@ -444,7 +444,7 @@
               val theory = Export_Theory.read_theory(provider, session1, name.theory)
               theory.entity_iterator.toVector
             case None =>
-              progress.echo_error_message("No exports for: " + name)
+              progress.echo_warning("No theory exports for " + name)
               Vector.empty
           }
         }