From ac41f8a9c7a89c176867dc217eb81bffa7c1aced Mon Sep 17 00:00:00 2001
From: Alberto Gonzalez <boqwxp@airmail.cc>
Date: Thu, 21 May 2020 23:20:44 +0000
Subject: [PATCH] qbfsat: Remove cruft inadvertently left untouched in commit
 86fc49a9d60f9ad4cdeec93663e7245a9fdf60c6.

---
 passes/sat/qbfsat.cc | 11 -----------
 1 file changed, 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
 
-- 
2.30.2