# HG changeset patch
# User wenzelm
# Date 1536436479 -7200
# Node ID 7700142d6d258ce40fd39b12ef691d5e6723725e
# Parent  a7b1fe2d30ad538e15243066e15df51070d854b0
tuned;

diff -r a7b1fe2d30ad -r 7700142d6d25 src/Pure/Thy/thy_resources.scala
--- a/src/Pure/Thy/thy_resources.scala	Sat Sep 08 21:48:26 2018 +0200
+++ b/src/Pure/Thy/thy_resources.scala	Sat Sep 08 21:54:39 2018 +0200
@@ -202,7 +202,6 @@
             resources.import_name(qualifier, master_directory(master_dir), thy) -> Position.none)
         resources.dependencies(import_names, progress = progress).check_errors.theories
       }
-      val dep_theories_set = dep_theories.toSet
 
       val use_theories_state = Synchronized(Use_Theories_State())
 
@@ -243,6 +242,8 @@
             resources.clean_theories(session, id, clean)
           }
 
+        val dep_theories_set = dep_theories.toSet
+
         Session.Consumer[Session.Commands_Changed](getClass.getName) {
           case changed =>
             if (changed.nodes.exists(dep_theories_set)) {