diff options
| author | N. Engelhardt <nak@symbioticeda.com> | 2020-10-16 18:46:59 +0200 |
|---|---|---|
| committer | N. Engelhardt <nak@symbioticeda.com> | 2020-10-16 18:46:59 +0200 |
| commit | eccc48c39f258cb0a9d5e176616d848f77f49565 (patch) | |
| tree | b943443c7e326ef860880a08a87d8b74bc2e2681 /passes/sat/sim.cc | |
| parent | 668d5253a59f3b106bae6d1fca8ba1873b2fdce0 (diff) | |
| download | yosys-eccc48c39f258cb0a9d5e176616d848f77f49565.tar.gz yosys-eccc48c39f258cb0a9d5e176616d848f77f49565.tar.bz2 yosys-eccc48c39f258cb0a9d5e176616d848f77f49565.zip | |
wild guessing at the problem because it builds fine on my machines
Diffstat (limited to 'passes/sat/sim.cc')
| -rw-r--r-- | passes/sat/sim.cc | 3 |
1 files changed, 3 insertions, 0 deletions
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 |