projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 019be63) | patch
api: Remove isUninterpretedSortParameterized from header file. (#8470)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 31 Mar 2022 00:17:20 +0000 (17:17 -0700)
committerGitHub <noreply@github.com>
Thu, 31 Mar 2022 00:17:20 +0000 (00:17 +0000)
commitcd59ef57e22ed6165d923a10c6c33d191329c425
tree5185ff65b06ea45b753a2c7d709a03fb7437714etree
parent019be6360c21a4899debbcc4e2615be2fbe08974commit | diff
api: Remove isUninterpretedSortParameterized from header file. (#8470)

Method was removed in #8425.
src/api/cpp/cvc5.h diff | blob | history