diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-21 11:15:57 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-06-21 11:15:57 -0400 |
commit | e9f5d4eb49f62394d5696875e5fc1deed417a865 (patch) | |
tree | d55bfc3354f9526ce2007401b5ff195f558f4494 /src/smt/smt_engine.cpp | |
parent | 5c7c2c3d0968289b254aeafe10f1267e21123d98 (diff) |
Fix failure in non-assertion builds on incorrect SmtEngine use.
Diffstat (limited to 'src/smt/smt_engine.cpp')
-rw-r--r-- | src/smt/smt_engine.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 76d4c973f..411d4ee3f 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -791,6 +791,9 @@ SmtEngine::~SmtEngine() throw() { void SmtEngine::setLogic(const LogicInfo& logic) throw(ModalException) { SmtScope smts(this); + if(d_fullyInited) { + throw ModalException("Cannot set logic in SmtEngine after the engine has finished initializing"); + } d_logic = logic; setLogicInternal(); } |