Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Sat, 08 Sep 2018 21:54:39 +0200
changeset 68952 7700142d6d25
parent 68951 a7b1fe2d30ad
child 68953 89a12af9c330
tuned;
src/Pure/Thy/thy_resources.scala file | annotate | diff | comparison | revisions 
--- 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)) {
isabelle