src/Pure/System/session.scala
changeset 51083 10062c40ddaa
parent 50975 73ec6ad6700e
child 51662 3391a493f39a
     1.1 --- a/src/Pure/System/session.scala	Thu Feb 07 13:20:05 2013 +0100
     1.2 +++ b/src/Pure/System/session.scala	Sun Feb 10 22:03:21 2013 +0100
     1.3 @@ -407,7 +407,7 @@
     1.4            reply(())
     1.5  
     1.6          case Session.Global_Options(options) if prover.isDefined =>
     1.7 -          prover.get.options(options)
     1.8 +          if (is_ready) prover.get.options(options)
     1.9  
    1.10          case Cancel_Execution if prover.isDefined =>
    1.11            prover.get.cancel_execution()