diff options
author | Tim King <taking@cs.nyu.edu> | 2017-09-17 23:40:17 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-17 23:40:17 -0700 |
commit | 053003a64bde91aa32f688d248d83c3d4f271250 (patch) | |
tree | eb7ba9dbd9392b6f7782f877e9599a14385e1e32 /src/expr/kind_template.h | |
parent | 190e5aa70862f40ba96b7dc7add3f11a8143c66f (diff) |
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.
Diffstat (limited to 'src/expr/kind_template.h')
-rw-r--r-- | src/expr/kind_template.h | 4 |
1 files 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<TheoryId>(0); const TheoryId THEORY_SAT_SOLVER = THEORY_LAST; -inline TheoryId& CVC4_PUBLIC operator ++ (TheoryId& id) { - return id = static_cast<TheoryId>(((int)id) + 1); +CVC4_PUBLIC inline TheoryId& operator++(TheoryId& id) { + return id = static_cast<TheoryId>(static_cast<int>(id) + 1); } std::ostream& operator<<(std::ostream& out, TheoryId theoryId); |