From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 28 Sep 2011 22:38:31 +0000 (+0000)
Subject: CVC4::Integer was not marked CVC4_PUBLIC, causing dynamic link errors on MacOS in... 
X-Git-Tag: cvc5-1.0.0~8452
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f33eda5c4fffa331af04a2d6100bb4c2dd9730b3;p=cvc5.git

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

diff --git a/src/util/integer_cln_imp.h b/src/util/integer_cln_imp.h
index a7de8c75e..6e2ca3500 100644
--- 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 237114d24..4a075b8a1 100644
--- 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.