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/expr_manager_scope.h | |
| 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/expr_manager_scope.h')
0 files changed, 0 insertions, 0 deletions