# HG changeset patch
# User wenzelm
# Date 1398691259 -7200
# Node ID 725a192f8081214091eccb8ae568a29db60918cd
# Parent  28d62a5b07e86f217783510fdf3ddc44b8c2b9ae
tuned comments;

diff -r 28d62a5b07e8 -r 725a192f8081 src/Pure/PIDE/session.scala
--- a/src/Pure/PIDE/session.scala	Mon Apr 28 15:18:37 2014 +0200
+++ b/src/Pure/PIDE/session.scala	Mon Apr 28 15:20:59 2014 +0200
@@ -500,7 +500,7 @@
           case Stop =>
             if (prover.isDefined && is_ready) {
               _protocol_handlers = _protocol_handlers.stop(prover.get)
-              global_state.change(_ => Document.State.init)  // FIXME event bus!?
+              global_state.change(_ => Document.State.init)
               phase = Session.Shutdown
               prover.get.terminate
             }