diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 10:19:54 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-20 16:55:21 -0400 |
commit | 59cb1ace343f74af41fae55933be48d1b3995780 (patch) | |
tree | afbe9f45cc4a543ce2546fab2827ed84d5f537e8 /src/smt/smt_engine.h | |
parent | fdd15f6e418277e471e92a8a32f1e2229c3325f5 (diff) |
Better error on invalid logic strings.
Thanks to David Cok for reporting this issue.
Conflicts:
library_versions
Diffstat (limited to 'src/smt/smt_engine.h')
-rw-r--r-- | src/smt/smt_engine.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index a22e34c21..8266bb1ed 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -350,12 +350,12 @@ public: /** * Set the logic of the script. */ - void setLogic(const std::string& logic) throw(ModalException); + void setLogic(const std::string& logic) throw(ModalException, LogicException); /** * Set the logic of the script. */ - void setLogic(const char* logic) throw(ModalException); + void setLogic(const char* logic) throw(ModalException, LogicException); /** * Set the logic of the script. |