Merge pull request diffblue#7871 from thomasspriggs/tas/ctime_fix

Add missing include of `<ctime>`
martin-cs · Aug 31, 2023 · 228b9dd · 228b9dd
2 parents 3e3ba26 + dcc5934
commit 228b9dd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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>