1.1 --- a/src/Pure/PIDE/session.scala	Thu Jul 24 16:21:50 2014 +0200
     1.2 +++ b/src/Pure/PIDE/session.scala	Thu Jul 24 17:11:40 2014 +0200
     1.3 @@ -562,6 +562,9 @@
     1.4              if (global_state.value.is_assigned(change.previous))
     1.5                handle_change(change)
     1.6              else postponed_changes.store(change)
     1.7 +
     1.8 +          case bad =>
     1.9 +            if (verbose) Output.warning("Ignoring bad message: " + bad.toString)
    1.10          }
    1.11          true
    1.12          //}}}