From d6267f3afa9b535a4a858011533382a518ee0e1a Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Mon, 26 May 2014 20:22:55 -0400
Subject: [PATCH] Fix bug 567

This bug got introduced in 96eccb0d6134ccf4ead0134299b2e3750a890083.
The backing Node didn't always exist because of the changes.
---
 src/theory/sets/theory_sets_private.h | 4 ++--
 1 file 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);
-- 
2.30.2