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
           }
         }