make CVC4::Rational public (fixes broken build)

diff --git a/src/util/rational.h b/src/util/rational.h
index 428f4f12f0b1fd5d045405c36f8cf3fc76ce572d..53a7e906058fb20237eeb5eed0ad0f44a1114306 100644 (file)
--- 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.