# HG changeset patch
# User wenzelm
# Date 1536066065 -7200
# Node ID 3afa4f03864bda9a0961430bfe94de0f0b824ef5
# Parent  a9deff1bcb65f6c9b9224615c3b53e562cc87945
tuned;

diff -r a9deff1bcb65 -r 3afa4f03864b src/Pure/Thy/thy_resources.scala
--- a/src/Pure/Thy/thy_resources.scala	Tue Sep 04 14:59:47 2018 +0200
+++ b/src/Pure/Thy/thy_resources.scala	Tue Sep 04 15:01:05 2018 +0200
@@ -225,9 +225,9 @@
         resources.load_theories(session, id, dep_theories, progress)
         result.join_result
         check_progress.cancel
-        session.commands_changed -= consumer
       }
       finally {
+        session.commands_changed -= consumer
         resources.unload_theories(session, id, dep_theories)
       }