From 053003a64bde91aa32f688d248d83c3d4f271250 Mon Sep 17 00:00:00 2001 From: Tim King Date: Sun, 17 Sep 2017 23:40:17 -0700 Subject: [PATCH] Moving the CVC4_PUBLIC attribute to the beginning of operator++. (#1107) Removes the following warning when compiling with gcc version 4.8.4 : ../../../../../src/expr/kind_template.h:95:55: warning: '__visibility__' attribute ignored on non-class types [-Wattributes] Tested with clang-3.5. --- src/expr/kind_template.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h index 0a6b7bc61..170f51df1 100644 --- a/src/expr/kind_template.h +++ b/src/expr/kind_template.h @@ -92,8 +92,8 @@ ${theory_enum} const TheoryId THEORY_FIRST = static_cast(0); const TheoryId THEORY_SAT_SOLVER = THEORY_LAST; -inline TheoryId& CVC4_PUBLIC operator ++ (TheoryId& id) { - return id = static_cast(((int)id) + 1); +CVC4_PUBLIC inline TheoryId& operator++(TheoryId& id) { + return id = static_cast(static_cast(id) + 1); } std::ostream& operator<<(std::ostream& out, TheoryId theoryId); -- 2.30.2