diff options
-rw-r--r-- | src/util/rational.h | 2 |
1 files changed, 1 insertions, 1 deletions
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. |