From dbb5f32bafcf3c8f51eefb95e6c298ce6b9ac8cc Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Wed, 17 Feb 2016 12:44:14 -0800 Subject: move printing to a pass --- src/support/file.h | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/support/file.h') diff --git a/src/support/file.h b/src/support/file.h index 5e464d6c1..47f7ececb 100644 --- a/src/support/file.h +++ b/src/support/file.h @@ -44,6 +44,10 @@ class Output { return out << v; } + std::ostream& getStream() { + return out; + } + private: Output() = delete; Output(const Output &) = delete; -- cgit v1.2.3