diff options
| -rw-r--r-- | common/timing.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common/timing.cc b/common/timing.cc index aadd8381..5e45f8a2 100644 --- a/common/timing.cc +++ b/common/timing.cc @@ -21,6 +21,7 @@ #include "timing.h" #include <algorithm> #include <boost/range/adaptor/reversed.hpp> +#include <deque> #include <unordered_map> #include <utility> #include "log.h" |