From: whitequark <whitequark@whitequark.org>
Date: Mon, 22 Jun 2020 00:10:25 +0000 (+0000)
Subject: Merge pull request #2181 from whitequark/minisat-wasm-signal
X-Git-Tag: working-ls180~455
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=97f3a7fc30b94165c4e2f3c4c741add850b7b675;p=yosys.git

Merge pull request #2181 from whitequark/minisat-wasm-signal

minisat: add missing include guard for WASI
---

97f3a7fc30b94165c4e2f3c4c741add850b7b675