diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-05-26 20:22:55 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-05-26 20:22:55 -0400 |
| commit | d6267f3afa9b535a4a858011533382a518ee0e1a (patch) | |
| tree | f9d78759c7afdb67eb033780e648de5323188504 /src/theory/sets | |
| parent | be13964fbff473449d0936c592c5a5cfb3748833 (diff) | |
Fix bug 567
This bug got introduced in 96eccb0d6134ccf4ead0134299b2e3750a890083.
The backing Node didn't always exist because of the changes.
Diffstat (limited to 'src/theory/sets')
| -rw-r--r-- | src/theory/sets/theory_sets_private.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/sets/theory_sets_private.h b/src/theory/sets/theory_sets_private.h index 9225bfbfd..73c0c419e 100644 --- a/src/theory/sets/theory_sets_private.h +++ b/src/theory/sets/theory_sets_private.h @@ -157,8 +157,8 @@ private: context::CDHashSet <Node, NodeHashFunction> d_nodeSaver; /** Lemmas and helper functions */ - context::CDQueue <TNode> d_pending; - context::CDQueue <TNode> d_pendingDisequal; + context::CDQueue <Node> d_pending; + context::CDQueue <Node> d_pendingDisequal; context::CDHashSet <Node, NodeHashFunction> d_pendingEverInserted; void addToPending(Node n); |