# HG changeset patch
# User wenzelm
# Date 1537215058 -7200
# Node ID b6aad633848882c25a39d556376f54b92ad53c98
# Parent  4861973145e8ff7f2693dd42522738df28c3a901
tuned message;

diff -r 4861973145e8 -r b6aad6338488 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Mon Sep 17 22:06:11 2018 +0200
+++ b/src/Pure/Thy/sessions.scala	Mon Sep 17 22:10:58 2018 +0200
@@ -196,7 +196,7 @@
     def imported_sources(name: String): List[SHA1.Digest] =
       session_bases(name).imported_sources.map(_._2)
 
-    def used_theories_conditions(progress: Progress = No_Progress): List[String] =
+    def used_theories_conditions(warning: String => Unit = _ => ()): List[String] =
       for {
         session_name <- sessions_structure.build_topological_order
         (options, name) <- session_bases(session_name).used_theories
@@ -206,8 +206,7 @@
               filter(cond => Isabelle_System.getenv(cond) == "")
           if (conditions.isEmpty) true
           else {
-            progress.warning(
-              "Skipping theory " + name + "  (condition " + conditions.mkString(" ") + ")")
+            warning("Skipping theory " + name + "  (condition " + conditions.mkString(" ") + ")")
             false
           }
         }
diff -r 4861973145e8 -r b6aad6338488 src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Mon Sep 17 22:06:11 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Mon Sep 17 22:10:58 2018 +0200
@@ -112,7 +112,7 @@
     val include_sessions =
       deps.sessions_structure.imports_topological_order
 
-    val use_theories = deps.used_theories_conditions(progress)
+    val use_theories = deps.used_theories_conditions(progress.echo_warning)
 
 
     /* dump aspects asynchronously */