diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-07-08 09:49:48 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-07-08 09:50:36 -0400 |
commit | 812506431184838f50944f963bb9279da5ff80ba (patch) | |
tree | 75ce14c4fd2bc432c381d7665d0398950cf86256 /src/theory | |
parent | ba56661b4a49d4b470c6298d3531324b3bf15005 (diff) |
fix bug 650
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/sets/theory_sets_type_enumerator.h | 1 |
1 files changed, 1 insertions, 0 deletions
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<SetEnumerator>(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), |