From 2ee52cf8ccaa2e4514cd0e2023ee71a2b8b8d467 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 1 Oct 2012 21:10:26 +0000 Subject: [PATCH] make sure to mark LogicInfo as CVC4_PUBLIC --- src/theory/logic_info.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 */ -- 2.30.2