1 files changed, 4 insertions, 0 deletions
diff --git a/src/support/file.h b/src/support/file.h
index c15e3f6ce..8355767ee 100644
--- a/src/support/file.h
+++ b/src/support/file.h
@@ -59,6 +59,10 @@ class Output {
     return out;
   }
 
+  std::ostream& write(const char* s, std::streamsize c) {
+    return out.write(s, c);
+  }
+
  private:
   Output() = delete;
   Output(const Output &) = delete;