projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97f5f4c) | patch
Improve error for higher-order logic (#8207)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 3 Mar 2022 03:51:42 +0000 (21:51 -0600)
committerGitHub <noreply@github.com>
Thu, 3 Mar 2022 03:51:42 +0000 (03:51 +0000)
commit8f14d8b4eeaf5b2d1b7bb30173ca85197b7166be
tree1f8d73b588dc9877a7463d40e7eedf80935d9d0ctree
parent97f5f4c3d9b082e702ae31b928cb8c6fa3ddd4f7commit | diff
Improve error for higher-order logic (#8207)

Makes the error more informative when a higher-order function variable is encountered.
Fixes cvc5/cvc5-projects#450.
src/theory/uf/theory_uf.cpp diff | blob | history