make sure to mark LogicInfo as CVC4_PUBLIC

diff --git a/src/theory/logic_info.h b/src/theory/logic_info.h
index 8cd326039111c4f3045af0f5e90bad883bd8057b..18d51d29f2caa3777bf977820dcfdd6795b23f41 100644 (file)
--- 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 */