diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-12-10 00:48:05 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-10 00:48:05 -0800 |
| commit | 2b9347b8f69a87246723502fe9f1db87429a0778 (patch) | |
| tree | fbcbfb42ba03e3d2bfa94f5cb0ba9beb9c578877 /src/expr | |
| parent | 99fb7d9e0b963222574c01e0362d3720c62b825f (diff) | |
Fix issue with mkConst/getConst of TypeConstant (#1439)
When compiling the Java bindings on macOS, the linker complained about
CVC4::ExprManager::mkConst<CVC4::TypeConstant>() and
CVC4::Expr::getConst<CVC4::TypeConstant>() being undefined. After some
research, I found that the issue has been introduced by commit
36bf9f8bcb2a1a3aea1f90eb4d13aed3bbf6da8f. It looks like adding the
-no-undefined flags resulted in the symbols in question being omitted
due to TypeConstant not being exported. This commit makes TypeConstant
CVC4_PUBLIC, which fixes the issue.
Diffstat (limited to 'src/expr')
| -rw-r--r-- | src/expr/kind_template.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h index 170f51df1..9247f50dd 100644 --- a/src/expr/kind_template.h +++ b/src/expr/kind_template.h @@ -64,7 +64,7 @@ struct KindHashFunction { /** * The enumeration for the built-in atomic types. */ -enum TypeConstant { +enum CVC4_PUBLIC TypeConstant { ${type_constant_list} #line 70 "${template}" LAST_TYPE |