From ac41f8a9c7a89c176867dc217eb81bffa7c1aced Mon Sep 17 00:00:00 2001 From: Alberto Gonzalez 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 #include -#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 -#endif - USING_YOSYS_NAMESPACE PRIVATE_NAMESPACE_BEGIN -- 2.30.2