From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 7 May 2010 00:41:06 +0000 (+0000)
Subject: make CVC4::Rational public (fixes broken build)
X-Git-Tag: cvc5-1.0.0~9068
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dded216dc01dc123bd54a33b1ca5b6d3c016b237;p=cvc5.git

make CVC4::Rational public (fixes broken build)
---

diff --git a/src/util/rational.h b/src/util/rational.h
index 428f4f12f..53a7e9060 100644
--- a/src/util/rational.h
+++ b/src/util/rational.h
@@ -39,7 +39,7 @@ namespace CVC4 {
  ** in danger of invoking the char* constructor, from whence you will segfault.
  **/
 
-class Rational {
+class CVC4_PUBLIC Rational {
 private:
   /**
    * Stores the value of the rational is stored in a C++ GMP rational class.