From f33eda5c4fffa331af04a2d6100bb4c2dd9730b3 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 28 Sep 2011 22:38:31 +0000 Subject: [PATCH] CVC4::Integer was not marked CVC4_PUBLIC, causing dynamic link errors on MacOS in production builds. Fixed. --- src/util/integer_cln_imp.h | 2 +- src/util/integer_gmp_imp.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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. -- 2.30.2