From: Kshitij Bansal Date: Wed, 8 Jul 2015 13:49:48 +0000 (-0400) Subject: fix bug 650 X-Git-Tag: cvc5-1.0.0~6267^2~4 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=812506431184838f50944f963bb9279da5ff80ba;p=cvc5.git fix bug 650 --- 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),