CVC4::Integer was not marked CVC4_PUBLIC, causing dynamic link errors on MacOS in...

diff --git a/src/util/integer_cln_imp.h b/src/util/integer_cln_imp.h
index a7de8c75ef27f6385c3244b31f91777bb58375f6..6e2ca35005d6877329efee46f9896975e51a9ed5 100644 (file)
--- a/src/util/integer_cln_imp.h
+++ b/src/util/integer_cln_imp.h
@@ -36,7 +36,7 @@ namespace CVC4 {
 
 class Rational;
 
-class Integer {
+class CVC4_PUBLIC Integer {
 private:
   /**
    * Stores the value of the rational is stored in a C++ GMP integer class.

diff --git a/src/util/integer_gmp_imp.h b/src/util/integer_gmp_imp.h
index 237114d241a2540175903e2d57d045394863b383..4a075b8a19a168a5b707dcaaf85db30075699b0e 100644 (file)
--- a/src/util/integer_gmp_imp.h
+++ b/src/util/integer_gmp_imp.h
@@ -32,7 +32,7 @@ namespace CVC4 {
 
 class Rational;
 
-class Integer {
+class CVC4_PUBLIC Integer {
 private:
   /**
    * Stores the value of the rational is stored in a C++ GMP integer class.