diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-01-09 22:05:02 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-01-09 22:05:02 -0800 |
| commit | 2e5cc613d280fab1be89d8360250cbc3a1635ac9 (patch) | |
| tree | ced7d813eec67a32fd3f1b4a1174f5ff00ab1767 /src/smt | |
| parent | ff9d2c84dae5eb21a7ef77f5931673fb23129730 (diff) | |
Cleaning up throw specifiers on Exception and subclasses. (#1475)
Diffstat (limited to 'src/smt')
| -rw-r--r-- | src/smt/logic_exception.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/logic_exception.h b/src/smt/logic_exception.h index 5d5b02162..86e386e9a 100644 --- a/src/smt/logic_exception.h +++ b/src/smt/logic_exception.h @@ -27,7 +27,7 @@ namespace CVC4 { class CVC4_PUBLIC LogicException : public CVC4::Exception { -public: + public: LogicException() : Exception("Feature used while operating in " "incorrect state") { |