From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 1 Oct 2012 21:10:26 +0000 (+0000)
Subject: make sure to mark LogicInfo as CVC4_PUBLIC
X-Git-Tag: cvc5-1.0.0~7754
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2ee52cf8ccaa2e4514cd0e2023ee71a2b8b8d467;p=cvc5.git

make sure to mark LogicInfo as CVC4_PUBLIC
---

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 */