Add missing CVC4_PUBLIC in kind_template (#1078)

diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h
index 4f5b1eecdd1e960f60cfd003a48217a58a29f2ef..0a6b7bc6182f6c0474b28e2877c75af31d654581 100644 (file)
--- a/src/expr/kind_template.h
+++ b/src/expr/kind_template.h
@@ -92,13 +92,13 @@ ${theory_enum}
 const TheoryId THEORY_FIRST = static_cast<TheoryId>(0);
 const TheoryId THEORY_SAT_SOLVER = THEORY_LAST;
 
-inline TheoryId& operator ++ (TheoryId& id) {
+inline TheoryId& CVC4_PUBLIC operator ++ (TheoryId& id) {
   return id = static_cast<TheoryId>(((int)id) + 1);
 }
 
 std::ostream& operator<<(std::ostream& out, TheoryId theoryId);
 TheoryId kindToTheoryId(::CVC4::Kind k) CVC4_PUBLIC;
-TheoryId typeConstantToTheoryId(::CVC4::TypeConstant typeConstant);
+TheoryId typeConstantToTheoryId(::CVC4::TypeConstant typeConstant) CVC4_PUBLIC;
 
 }/* CVC4::theory namespace */
 }/* CVC4 namespace */