merged
authorwenzelm
Sun, 10 Feb 2013 22:07:56 +0100
changeset 51084 cbae5c5ffd23
parent 51083 10062c40ddaa (diff)
parent 51082 55b82b1417d1 (current diff)
child 51085 d90218288d51
merged
--- a/src/Pure/System/session.scala	Sun Feb 10 14:57:00 2013 +0100
+++ b/src/Pure/System/session.scala	Sun Feb 10 22:07:56 2013 +0100
@@ -407,7 +407,7 @@
           reply(())
 
         case Session.Global_Options(options) if prover.isDefined =>
-          prover.get.options(options)
+          if (is_ready) prover.get.options(options)
 
         case Cancel_Execution if prover.isDefined =>
           prover.get.cancel_execution()