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/array_store_all.cpp | |
| parent | 3c6398194b01372720964590b2b07d93590e511d (diff) | |
Removing throw specifiers from miscellaneous src/expr/ classes. (#1503)
Diffstat (limited to 'src/expr/array_store_all.cpp')
| -rw-r--r-- | src/expr/array_store_all.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/expr/array_store_all.cpp b/src/expr/array_store_all.cpp index 65d16d9cc..c6c0d2bc0 100644 --- a/src/expr/array_store_all.cpp +++ b/src/expr/array_store_all.cpp @@ -57,8 +57,7 @@ ArrayStoreAll::ArrayStoreAll(const ArrayStoreAll& other) : d_type(new ArrayType(other.getType())), d_expr(new Expr(other.getExpr())) {} -ArrayStoreAll::~ArrayStoreAll() throw() {} - +ArrayStoreAll::~ArrayStoreAll() {} ArrayStoreAll& ArrayStoreAll::operator=(const ArrayStoreAll& other) { (*d_type) = other.getType(); (*d_expr) = other.getExpr(); |