From eccc48c39f258cb0a9d5e176616d848f77f49565 Mon Sep 17 00:00:00 2001
From: "N. Engelhardt" <nak@symbioticeda.com>
Date: Fri, 16 Oct 2020 18:46:59 +0200
Subject: [PATCH] wild guessing at the problem because it builds fine on my
 machines

---
 passes/sat/sim.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 4c9af0bf6..dad0d0c24 100644
--- 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
 
-- 
2.30.2