diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-01-09 06:20:52 -0800 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-01-09 08:20:51 -0600 |
| commit | e6c966990ee7d166c421b6ba8ec39ac2e05ee62a (patch) | |
| tree | 4310e1345ed7b5a536dd545ddd772c26cd7c1e31 /src/expr/uninterpreted_constant.cpp | |
| parent | 3c6398194b01372720964590b2b07d93590e511d (diff) | |
Removing throw specifiers from miscellaneous src/expr/ classes. (#1503)
Diffstat (limited to 'src/expr/uninterpreted_constant.cpp')
| -rw-r--r-- | src/expr/uninterpreted_constant.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/expr/uninterpreted_constant.cpp b/src/expr/uninterpreted_constant.cpp index c823529be..062ea235d 100644 --- a/src/expr/uninterpreted_constant.cpp +++ b/src/expr/uninterpreted_constant.cpp @@ -26,9 +26,8 @@ using namespace std; namespace CVC4 { -UninterpretedConstant::UninterpretedConstant(Type type, Integer index) throw(IllegalArgumentException) - : d_type(type) - , d_index(index) +UninterpretedConstant::UninterpretedConstant(Type type, Integer index) + : d_type(type), d_index(index) { //PrettyCheckArgument(type.isSort(), type, "uninterpreted constants can only be created for uninterpreted sorts, not `%s'", type.toString().c_str()); PrettyCheckArgument(index >= 0, index, "index >= 0 required for uninterpreted constant index, not `%s'", index.toString().c_str()); |