diff options
Diffstat (limited to 'src/util/rational_gmp_imp.cpp')
-rw-r--r-- | src/util/rational_gmp_imp.cpp | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/util/rational_gmp_imp.cpp b/src/util/rational_gmp_imp.cpp index f0f7d46eb..63fb8e05c 100644 --- a/src/util/rational_gmp_imp.cpp +++ b/src/util/rational_gmp_imp.cpp @@ -21,15 +21,18 @@ #include "cvc4autoconfig.h" -#ifndef CVC4_GMP_IMP +#ifndef CVC4_GMP_IMP // Make sure this comes after cvc4autoconfig.h # error "This source should only ever be built if CVC4_GMP_IMP is on !" #endif /* CVC4_GMP_IMP */ -std::ostream& CVC4::operator<<(std::ostream& os, const Rational& q){ +#include "base/cvc4_assert.h" + +namespace CVC4 { + +std::ostream& operator<<(std::ostream& os, const Rational& q){ return os << q.toString(); } -namespace CVC4 { /* Computes a rational given a decimal string. The rational * version of <code>xxx.yyy</code> is <code>xxxyyy/(10^3)</code>. |