diff options
| -rw-r--r-- | src/Timer.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Timer.cc b/src/Timer.cc index 2c981d3..23849e1 100644 --- a/src/Timer.cc +++ b/src/Timer.cc | |||
| @@ -27,9 +27,10 @@ | |||
| 27 | #endif // _GNU_SOURCE | 27 | #endif // _GNU_SOURCE |
| 28 | 28 | ||
| 29 | #ifdef HAVE_CONFIG_H | 29 | #ifdef HAVE_CONFIG_H |
| 30 | #include "../config.h" | 30 | #include "config.h" |
| 31 | #endif // HAVE_CONFIG_H | 31 | #endif // HAVE_CONFIG_H |
| 32 | 32 | ||
| 33 | #include <sys/time.h> | ||
| 33 | #include <sys/types.h> | 34 | #include <sys/types.h> |
| 34 | #include <unistd.h> | 35 | #include <unistd.h> |
| 35 | #include <cassert> | 36 | #include <cassert> |