From e27d7b41dba65c1611bfb536ffe958fa7cad3848 Mon Sep 17 00:00:00 2001 From: makaimann Date: Thu, 14 Sep 2017 17:50:16 -0700 Subject: [PATCH] Add missing CVC4_PUBLIC in kind_template (#1078) --- 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 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(0); const TheoryId THEORY_SAT_SOLVER = THEORY_LAST; -inline TheoryId& operator ++ (TheoryId& id) { +inline TheoryId& CVC4_PUBLIC operator ++ (TheoryId& id) { return id = static_cast(((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 */ -- 2.30.2