projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a09b834) | patch
Fix Java examples (#8484)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 31 Mar 2022 14:38:11 +0000 (07:38 -0700)
committerGitHub <noreply@github.com>
Thu, 31 Mar 2022 14:38:11 +0000 (14:38 +0000)
commit315cb0faeecd79902d495dc79bc3de87b37adfb3
tree89e8b6d513e570ed1138dad205751383e0f6f5ectree
parenta09b8344565f359560e796e11f8902bd4f59e5b2commit | diff
Fix Java examples (#8484)

This fixes the Java examples. The examples were not able the find the
`cvc5::cvc5jar` target because the namespace had accidentally been
changed to `cvc5::internal::` in commit
bbcd471ed40c813c48957ced5596471cc0ccebe9. This reverts that change.
src/api/java/CMakeLists.txt diff | blob | history