projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a39ad65
)
Adding a missing return on the new ArrayStoreAll::operator= .
author
Tim King
<taking@google.com>
Thu, 24 Dec 2015 20:00:35 +0000
(15:00 -0500)
committer
Tim King
<taking@google.com>
Thu, 24 Dec 2015 20:00:35 +0000
(15:00 -0500)
src/expr/array_store_all.cpp
patch
|
blob
|
history
diff --git
a/src/expr/array_store_all.cpp
b/src/expr/array_store_all.cpp
index d9d0a5f8daef738541f206d7932b3791eb11b933..6ac07c81d0749409b80ea69b0e72520ec3d2f929 100644
(file)
--- a/
src/expr/array_store_all.cpp
+++ b/
src/expr/array_store_all.cpp
@@
-40,6
+40,7
@@
ArrayStoreAll::~ArrayStoreAll() throw() {
ArrayStoreAll& ArrayStoreAll::operator=(const ArrayStoreAll& other){
(*d_type) = other.getType();
(*d_expr) = other.getExpr();
+ return *this;
}
ArrayStoreAll::ArrayStoreAll(const ArrayType& type, const Expr& expr)