tuned;
authorwenzelm
Tue Sep 04 15:01:05 2018 +0200 (9 months ago)
changeset 689073afa4f03864b
parent 68906 a9deff1bcb65
child 68908 abc338d25640
tuned;
src/Pure/Thy/thy_resources.scala
     1.1 --- a/src/Pure/Thy/thy_resources.scala	Tue Sep 04 14:59:47 2018 +0200
     1.2 +++ b/src/Pure/Thy/thy_resources.scala	Tue Sep 04 15:01:05 2018 +0200
     1.3 @@ -225,9 +225,9 @@
     1.4          resources.load_theories(session, id, dep_theories, progress)
     1.5          result.join_result
     1.6          check_progress.cancel
     1.7 -        session.commands_changed -= consumer
     1.8        }
     1.9        finally {
    1.10 +        session.commands_changed -= consumer
    1.11          resources.unload_theories(session, id, dep_theories)
    1.12        }
    1.13