From: Alberto Gonzalez <boqwxp@airmail.cc>
Date: Thu, 21 May 2020 23:20:44 +0000 (+0000)
Subject: qbfsat: Remove cruft inadvertently left untouched in commit 86fc49a9d60f9ad4cdeec9366... 
X-Git-Tag: working-ls180~539^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ac41f8a9c7a89c176867dc217eb81bffa7c1aced;p=yosys.git

qbfsat: Remove cruft inadvertently left untouched in commit 86fc49a9d60f9ad4cdeec93663e7245a9fdf60c6.
---

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