diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-06-18 05:40:35 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-06-18 05:40:35 +0000 |
commit | 968f250b473d97db537aa7628bf111d15a2db299 (patch) | |
tree | c6e03ca0e20f777d5047000714ceee56b902c4b1 /src/expr/node_manager.cpp | |
parent | 64440d1ef917f21194700ec99815f7e28b8d4bcb (diff) |
bug fix (unreported on bugzilla): skolem variables failing removal from pool
Diffstat (limited to 'src/expr/node_manager.cpp')
-rw-r--r-- | src/expr/node_manager.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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); } |