From dded216dc01dc123bd54a33b1ca5b6d3c016b237 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 7 May 2010 00:41:06 +0000 Subject: [PATCH] make CVC4::Rational public (fixes broken build) --- src/util/rational.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.30.2