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/prop/prop_engine.h | |
parent | 64440d1ef917f21194700ec99815f7e28b8d4bcb (diff) |
bug fix (unreported on bugzilla): skolem variables failing removal from pool
Diffstat (limited to 'src/prop/prop_engine.h')
0 files changed, 0 insertions, 0 deletions