diff --git a/include/Support/Timer.h b/include/Support/Timer.h index 8538bb972ae..e89f32feab4 100644 --- a/include/Support/Timer.h +++ b/include/Support/Timer.h @@ -27,6 +27,7 @@ #include #include +#include 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; diff --git a/include/llvm/Support/Timer.h b/include/llvm/Support/Timer.h index 8538bb972ae..e89f32feab4 100644 --- a/include/llvm/Support/Timer.h +++ b/include/llvm/Support/Timer.h @@ -27,6 +27,7 @@ #include #include +#include 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;