projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e173f47) | patch
Fix not to output all warnings (#2778)
authorKen Matsui <26405363+matken11235@users.noreply.github.com>
Wed, 11 Sep 2019 23:48:18 +0000 (08:48 +0900)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 11 Sep 2019 23:48:18 +0000 (18:48 -0500)
commitdc3cee7cf3d49ad592139042a8e15e3905e55ee9
tree4b2c73cbe54e1120443b8f2891d7cad19e059e64tree
parente173f47af5ab1c7245c11e0f8d0711cfba79c90acommit | diff
Fix not to output all warnings (#2778)

Fix syntax error when --language-bindings is java

Replace __attribute__((__unused__)) with CVC4_UNUSED macro

Signed-off-by: matken11235 <26405363+matken11235@users.noreply.github.com>
src/base/exception.h diff | blob | history
src/context/cdlist_forward.h diff | blob | history
src/expr/datatype.h diff | blob | history