1 files changed, 2 insertions, 1 deletions
diff --git a/include/Support/Timer.h b/include/Support/Timer.h
index 8538bb972a..e89f32feab 100644
--- a/include/Support/Timer.h
+++ b/include/Support/Timer.h
@@ -27,6 +27,7 @@
 
 #include <string>
 #include <vector>
+#include <iosfwd>
 
 class TimerGroup;
 
@@ -90,7 +91,7 @@ public:
 
   /// print - Print the current timer to standard error, and reset the "Started"
   /// flag.
-  void print(const Timer &Total);
+  void print(const Timer &Total, std::ostream &OS);
 
 private:
   friend class TimerGroup;