qbfsat: Remove cruft inadvertently left untouched in commit 86fc49a9d60f9ad4cdeec9366...

diff --git a/passes/sat/qbfsat.cc b/passes/sat/qbfsat.cc
index 0484b57b321aaf69e717a701f3b203c2707210f4..c42760488308d5b92e292a905661932510dffd6e 100644 (file)
--- 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