diff --git a/src/goto-checker/symex_coverage.cpp b/src/goto-checker/symex_coverage.cpp
index 6a0802e6a47..6e4edbe81d3 100644
--- a/src/goto-checker/symex_coverage.cpp
+++ b/src/goto-checker/symex_coverage.cpp
@@ -24,6 +24,7 @@ Date: March 2016
 #include <linking/static_lifetime_init.h>
 
 #include <chrono> // IWYU pragma: keep
+#include <ctime>  // IWYU pragma: keep - For std::time_t
 #include <fstream> // IWYU pragma: keep
 #include <iostream>