diff options
author | makaimann <makaim@stanford.edu> | 2017-09-14 17:50:16 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2017-09-14 17:50:16 -0700 |
commit | e27d7b41dba65c1611bfb536ffe958fa7cad3848 (patch) | |
tree | 15b04500c67aca47fe0641f8910e0e1edcbc4dc7 /src/expr/kind_template.h | |
parent | 2672db00c4fcc97a1a28516c031061bdcfd70bb5 (diff) |
Add missing CVC4_PUBLIC in kind_template (#1078)
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 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 */ |