projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 190e5aa) | patch
Moving the CVC4_PUBLIC attribute to the beginning of operator++. (#1107)
authorTim King <taking@cs.nyu.edu>
Mon, 18 Sep 2017 06:40:17 +0000 (23:40 -0700)
committerGitHub <noreply@github.com>
Mon, 18 Sep 2017 06:40:17 +0000 (23:40 -0700)
commit053003a64bde91aa32f688d248d83c3d4f271250
treeeb7ba9dbd9392b6f7782f877e9599a14385e1e32tree
parent190e5aa70862f40ba96b7dc7add3f11a8143c66fcommit | 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.
src/expr/kind_template.h diff | blob | history