diff options
Diffstat (limited to 'src/util/rational.cpp')
-rw-r--r-- | src/util/rational.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/util/rational.cpp b/src/util/rational.cpp new file mode 100644 index 000000000..2f33ed859 --- /dev/null +++ b/src/util/rational.cpp @@ -0,0 +1,8 @@ + +#include "util/rational.h" + +using namespace CVC4; + +std::ostream& CVC4::operator<<(std::ostream& os, const Rational& q){ + return os << q.toString(); +} |