From dc3cee7cf3d49ad592139042a8e15e3905e55ee9 Mon Sep 17 00:00:00 2001 From: Ken Matsui <26405363+matken11235@users.noreply.github.com> Date: Thu, 12 Sep 2019 08:48:18 +0900 Subject: 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/context/cdlist_forward.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/context/cdlist_forward.h') diff --git a/src/context/cdlist_forward.h b/src/context/cdlist_forward.h index d7b1cbc61..1cdbab7cb 100644 --- a/src/context/cdlist_forward.h +++ b/src/context/cdlist_forward.h @@ -42,7 +42,7 @@ namespace context { template class DefaultCleanUp { public: - inline void operator()(T* t) const{} + inline void operator()(T* t CVC4_UNUSED) const{} }; template , class Allocator = std::allocator > -- cgit v1.2.3