From 812506431184838f50944f963bb9279da5ff80ba Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Wed, 8 Jul 2015 09:49:48 -0400 Subject: [PATCH] fix bug 650 --- src/theory/sets/theory_sets_type_enumerator.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/theory/sets/theory_sets_type_enumerator.h b/src/theory/sets/theory_sets_type_enumerator.h index 551c0b0ee..fa8f108c3 100644 --- a/src/theory/sets/theory_sets_type_enumerator.h +++ b/src/theory/sets/theory_sets_type_enumerator.h @@ -62,6 +62,7 @@ public: // by the TypeEnumerator framework. SetEnumerator(const SetEnumerator& ae) throw() : TypeEnumeratorBase(ae.d_nm->mkSetType(ae.d_constituentType)), + d_index(ae.d_index), d_constituentType(ae.d_constituentType), d_nm(ae.d_nm), d_indexVec(ae.d_indexVec), -- 2.30.2