diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-05-07 00:41:06 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-05-07 00:41:06 +0000 |
| commit | dded216dc01dc123bd54a33b1ca5b6d3c016b237 (patch) | |
| tree | ecb36b2e5ee9a690fe7801ac13bee47f81c8aaad /src | |
| parent | d292e8c233305c402da65a1cf97668881f7b099c (diff) | |
make CVC4::Rational public (fixes broken build)
Diffstat (limited to 'src')
| -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. |