diff options
| -rw-r--r-- | passes/sat/qbfsat.cc | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/passes/sat/qbfsat.cc b/passes/sat/qbfsat.cc index 0484b57b3..c42760488 100644 --- a/passes/sat/qbfsat.cc +++ b/passes/sat/qbfsat.cc @@ -23,19 +23,8 @@ #include "kernel/log.h" #include "kernel/rtlil.h" #include "kernel/register.h" -#include <cstdio> #include <algorithm> -#if defined(_WIN32) -# define WIFEXITED(x) 1 -# define WIFSIGNALED(x) 0 -# define WIFSTOPPED(x) 0 -# define WEXITSTATUS(x) ((x) & 0xff) -# define WTERMSIG(x) SIGTERM -#else -# include <sys/wait.h> -#endif - USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN |