From a1741e0e16486de8fff5bb577c0491d5e1200cfe Mon Sep 17 00:00:00 2001
From: Zachary Wimer <zwimer@users.noreply.github.com>
Date: Fri, 16 Apr 2021 02:46:03 -0700
Subject: [PATCH] z3 c++ api: delete implicit constructor (#5191)

---
 src/api/c++/z3++.h | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index c99979355..99a9ce137 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -575,7 +575,6 @@ namespace z3 {
             unsigned m_index;
         public:
             iterator(ast_vector_tpl const* v, unsigned i): m_vector(v), m_index(i) {}
-            iterator(iterator const& other): m_vector(other.m_vector), m_index(other.m_index) {}
 
             bool operator==(iterator const& other) const noexcept {
                 return other.m_index == m_index;
@@ -1992,8 +1991,7 @@ namespace z3 {
 
     template<typename T>
     template<typename T2>
-    array<T>::array(ast_vector_tpl<T2> const & v):m_array(new T[v.size()]) {
-        m_size  = v.size();
+    array<T>::array(ast_vector_tpl<T2> const & v):m_array(new T[v.size()]), m_size(v.size()) {
         for (unsigned i = 0; i < m_size; i++) {
             m_array[i] = v[i];
         }