From: makaimann <makaim@stanford.edu>
Date: Fri, 15 Sep 2017 00:50:16 +0000 (-0700)
Subject: Add missing CVC4_PUBLIC in kind_template (#1078)
X-Git-Tag: cvc5-1.0.0~5635
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e27d7b41dba65c1611bfb536ffe958fa7cad3848;p=cvc5.git

Add missing CVC4_PUBLIC in kind_template (#1078)
---

diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h
index 4f5b1eecd..0a6b7bc61 100644
--- 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 */