# HG changeset patch
# User wenzelm
# Date 1360530476 -3600
# Node ID cbae5c5ffd234c591c8048b385fc35086d5ca2b7
# Parent  10062c40ddaa452a6cdec4c805bcf89f14cd4597# Parent  55b82b1417d128a57b1aab3e8600b17e7fa25763
merged

diff -r 55b82b1417d1 -r cbae5c5ffd23 src/Pure/System/session.scala
--- 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()