projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d442be8) | patch
Remove stale pointer to proof node manager from skolemize utility (#7471)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 22 Oct 2021 22:21:02 +0000 (17:21 -0500)
committerGitHub <noreply@github.com>
Fri, 22 Oct 2021 22:21:02 +0000 (22:21 +0000)
commit76c6a103fb68f75e65201da5bab572f4630cd207
treeef5cded3c6f1278995ccd4203cab716e705edc07tree
parentd442be84a2e47ccc6b3b91dbcf5ae2c1b891049bcommit | diff
Remove stale pointer to proof node manager from skolemize utility (#7471)

Issue was introduced when cleaning this utility to the new style (to not take explicit pnm).
src/theory/quantifiers/skolemize.cpp diff | blob | history
src/theory/quantifiers/skolemize.h diff | blob | history