diff options
Diffstat (limited to 'src/expr/symbol_manager.h')
-rw-r--r-- | src/expr/symbol_manager.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/symbol_manager.h b/src/expr/symbol_manager.h index 53057d0b1..6cd0a1467 100644 --- a/src/expr/symbol_manager.h +++ b/src/expr/symbol_manager.h @@ -23,7 +23,7 @@ #include <string> #include "api/cpp/cvc5.h" -#include "cvc4_export.h" +#include "cvc5_export.h" #include "expr/symbol_table.h" namespace cvc5 { @@ -36,7 +36,7 @@ namespace cvc5 { * Like SymbolTable, this class currently lives in src/expr/ since it uses * context-dependent data structures. */ -class CVC4_EXPORT SymbolManager +class CVC5_EXPORT SymbolManager { public: SymbolManager(api::Solver* s); |