diff --git a/src/tests/util/pdeque.cpp b/src/tests/util/pdeque.cpp
index 1e5021ae1..f9eeecec3 100644
--- a/src/tests/util/pdeque.cpp
+++ b/src/tests/util/pdeque.cpp
@@ -8,6 +8,7 @@ Author: Leonardo de Moura
 #include <cstdlib>
 #include <deque>
 #include <vector>
+#include <ctime>
 #include "util/test.h"
 #include "util/pdeque.h"
 using namespace lean;
diff --git a/src/tests/util/pvector.cpp b/src/tests/util/pvector.cpp
index 55194a9e8..2e9d18f9b 100644
--- a/src/tests/util/pvector.cpp
+++ b/src/tests/util/pvector.cpp
@@ -7,6 +7,7 @@ Author: Leonardo de Moura
 #include <iostream>
 #include <cstdlib>
 #include <vector>
+#include <ctime>
 #include "util/test.h"
 #include "util/pvector.h"
 #include "util/timeit.h"