projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64440d1) | patch
bug fix (unreported on bugzilla): skolem variables failing removal from pool
authorMorgan Deters <mdeters@gmail.com>
Fri, 18 Jun 2010 05:40:35 +0000 (05:40 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 18 Jun 2010 05:40:35 +0000 (05:40 +0000)
commit968f250b473d97db537aa7628bf111d15a2db299
treec6e03ca0e20f777d5047000714ceee56b902c4b1tree
parent64440d1ef917f21194700ec99815f7e28b8d4bcbcommit | diff
bug fix (unreported on bugzilla): skolem variables failing removal from pool
src/expr/node_manager.cpp diff | blob | history