From 3b8d92b17c17aadfa920f36a1ab631e36c70e00e Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Fri, 26 Mar 2010 22:37:12 +0000
Subject: Added GMP backed Rational and Integer classes, and white box tests
 for them.  You may have to reconfigure after this update.

---
 src/util/integer.cpp | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 src/util/integer.cpp

(limited to 'src/util/integer.cpp')

diff --git a/src/util/integer.cpp b/src/util/integer.cpp
new file mode 100644
index 000000000..8fc788eb8
--- /dev/null
+++ b/src/util/integer.cpp
@@ -0,0 +1,7 @@
+#include "util/integer.h"
+
+using namespace CVC4;
+
+std::ostream& CVC4::operator<<(std::ostream& os, const Integer& n){
+  return os << n.toString();
+}
-- 
cgit v1.2.3