From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 18 Jun 2010 05:40:35 +0000 (+0000)
Subject: bug fix (unreported on bugzilla): skolem variables failing removal from pool
X-Git-Tag: cvc5-1.0.0~8981
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=968f250b473d97db537aa7628bf111d15a2db299;p=cvc5.git

bug fix (unreported on bugzilla): skolem variables failing removal from pool
---

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);
       }