missing header for std::time_t

Daniel Kroening · Daniel Kroening · commit d82c58601d88 · 2018-02-20T10:14:52.000Z
diff --git a/src/cbmc/symex_coverage.cpp b/src/cbmc/symex_coverage.cpp
@@ -13,6 +13,7 @@ Date: March 2016
 
 #include "symex_coverage.h"
 
+#include <ctime>
 #include <chrono>
 #include <iostream>
 #include <fstream>
