1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/input.h b/src/parser/input.h
index fb7ce2b40..47453e367 100644
--- a/src/parser/input.h
+++ b/src/parser/input.h
@@ -25,7 +25,7 @@
 #include <vector>
 
 #include "api/cpp/cvc5.h"
-#include "cvc4_export.h"
+#include "cvc5_export.h"
 #include "options/language.h"
 #include "parser/parser_exception.h"
 
@@ -78,7 +78,7 @@ class Parser;
  * for the given input language and attach it to an input source of the
  * appropriate type.
  */
-class CVC4_EXPORT Input
+class CVC5_EXPORT Input
 {
   friend class Parser; // for parseError, parseCommand, parseExpr
   friend class ParserBuilder;