wild guessing at the problem because it builds fine on my machines

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 4c9af0bf6a5c55ed2ba5666d6d21b357f3b9e0de..dad0d0c2444585478a1524c7825b5cf6ccd12804 100644 (file)
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -21,6 +21,9 @@
 #include "kernel/sigtools.h"
 #include "kernel/celltypes.h"
 
+#include <ctime>
+#include <iomanip>
+
 USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN