From 968f250b473d97db537aa7628bf111d15a2db299 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 18 Jun 2010 05:40:35 +0000
Subject: [PATCH] bug fix (unreported on bugzilla): skolem variables failing
 removal from pool

---
 src/expr/node_manager.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp
index 247348497..b67f42dfa 100644
--- a/src/expr/node_manager.cpp
+++ b/src/expr/node_manager.cpp
@@ -161,7 +161,7 @@ void NodeManager::reclaimZombies() {
                   << " [" << nv->d_id << "]: " << *nv << "\n";
 
       // remove from the pool
-      if(nv->getKind() != kind::VARIABLE) {
+      if(nv->getMetaKind() != kind::metakind::VARIABLE) {
         poolRemove(nv);
       }
 
-- 
2.30.2