diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
-rw-r--r-- | src/smt/smt_engine.cpp | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index f6b81465b..f9ebc713d 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -10,8 +10,17 @@ **/ #include "smt/smt_engine.h" +#include "util/exception.h" +#include "util/command.h" namespace CVC4 { +void doCommand(Command* c) { + if(c->getSmtEngine() != this) + throw new IllegalArgumentException("SmtEngine does not match Command"); + + c->invoke(); +} + }/* CVC4 namespace */ |