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