author | wenzelm |
Sun, 10 Feb 2013 22:07:56 +0100 | |
changeset 51084 | cbae5c5ffd23 |
parent 51083 | 10062c40ddaa (diff) |
parent 51082 | 55b82b1417d1 (current diff) |
child 51085 | d90218288d51 |
--- 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()