diff options
Diffstat (limited to 'src/util/integer_gmp_imp.h')
-rw-r--r-- | src/util/integer_gmp_imp.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/integer_gmp_imp.h b/src/util/integer_gmp_imp.h index f2d568d13..ff2ea9815 100644 --- a/src/util/integer_gmp_imp.h +++ b/src/util/integer_gmp_imp.h @@ -23,13 +23,13 @@ #include <iosfwd> #include <string> -#include "cvc4_export.h" // remove when Cvc language support is removed +#include "cvc5_export.h" // remove when Cvc language support is removed namespace cvc5 { class Rational; -class CVC4_EXPORT Integer +class CVC5_EXPORT Integer { friend class cvc5::Rational; |