1 files changed, 4 insertions, 0 deletions
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;