From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 9 Apr 2014 18:03:35 +0000 (-0400)
Subject: fix
X-Git-Tag: cvc5-1.0.0~6977^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b0c881cdcbf598bed9671a9ee4a1c11e51e08b8e;p=cvc5.git

fix
---

diff --git a/src/theory/sets/theory_sets_private.cpp b/src/theory/sets/theory_sets_private.cpp
index 883e0147e..f56f509b2 100644
--- a/src/theory/sets/theory_sets_private.cpp
+++ b/src/theory/sets/theory_sets_private.cpp
@@ -1035,6 +1035,7 @@ void TheorySetsPrivate::TermInfoManager::notifyMembership(TNode fact) {
                          << " in " << S << " " << polarity << std::endl;
 
   d_info[S]->addToElementList(x, polarity);
+  d_info[x]->addToSetList(S, polarity);
 }
 
 const CDTNodeList* TheorySetsPrivate::TermInfoManager::getParents(TNode x) {