From: Tim King <taking@google.com>
Date: Thu, 24 Dec 2015 20:00:35 +0000 (-0500)
Subject: Adding a missing return on the new ArrayStoreAll::operator= .
X-Git-Tag: cvc5-1.0.0~6128
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e9a8aee3aa826700b3985514609afcfa343a05c3;p=cvc5.git

Adding a missing return on the new ArrayStoreAll::operator= .
---

diff --git a/src/expr/array_store_all.cpp b/src/expr/array_store_all.cpp
index d9d0a5f8d..6ac07c81d 100644
--- 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)