diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-10-01 21:10:26 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-10-01 21:10:26 +0000 |
commit | 2ee52cf8ccaa2e4514cd0e2023ee71a2b8b8d467 (patch) | |
tree | 6cb253de0ad254f1e808efdd2f1ded8a122ef209 /src | |
parent | 87ce1a2260ae63784a0593aeec792bb8defe9bf6 (diff) |
make sure to mark LogicInfo as CVC4_PUBLIC
Diffstat (limited to 'src')
-rw-r--r-- | src/theory/logic_info.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/logic_info.h b/src/theory/logic_info.h index 8cd326039..18d51d29f 100644 --- a/src/theory/logic_info.h +++ b/src/theory/logic_info.h @@ -43,7 +43,7 @@ namespace CVC4 { * (e.g., for communicating to the SmtEngine which theories should be used, * rather than having to provide an SMT-LIB string). */ -class LogicInfo { +class CVC4_PUBLIC LogicInfo { mutable std::string d_logicString; /**< an SMT-LIB-like logic string */ bool d_theories[theory::THEORY_LAST]; /**< set of active theories */ size_t d_sharingTheories; /**< count of theories that need sharing */ |