From: N. Engelhardt <nak@symbioticeda.com>
Date: Fri, 16 Oct 2020 16:46:59 +0000 (+0200)
Subject: wild guessing at the problem because it builds fine on my machines
X-Git-Tag: working-ls180~222^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=eccc48c39f258cb0a9d5e176616d848f77f49565;p=yosys.git

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 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