diff options
Diffstat (limited to 'src/util/integer.cpp')
| -rw-r--r-- | src/util/integer.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/integer.cpp b/src/util/integer.cpp index 3a7851eec..a26f2108f 100644 --- a/src/util/integer.cpp +++ b/src/util/integer.cpp @@ -23,6 +23,6 @@ using namespace CVC4; -std::ostream& CVC4::operator<<(std::ostream& os, const Integer& n){ +std::ostream& CVC4::operator<<(std::ostream& os, const Integer& n) { return os << n.toString(); } |