projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7803127) | patch
Further fix #6453 (#6804)
authorOuyancheng <1024842937@qq.com>
Mon, 28 Jun 2021 19:10:55 +0000 (12:10 -0700)
committerGitHub <noreply@github.com>
Mon, 28 Jun 2021 19:10:55 +0000 (19:10 +0000)
commit43fffe772a89537dfecea7e63352a03b922a0fbc
treea8fa0187b65cf14391bd13198955e550bed33faetree
parent78031276c7452fd687c4a6253ff0f82c501dbac2commit | diff
Further fix #6453 (#6804)

There's one spot left in issue #6453, that is the call to `std::allocator<T>::destroy` in `mkMetaKind`. And this commit fixes it.
src/expr/mkmetakind diff | blob | history