diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-05-02 13:22:26 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-05-02 13:22:26 +0200 |
| commit | 75a5d6bd1ec6f23e508a52d04a6e384d247efd90 (patch) | |
| tree | bb1f0c8f4a4c58570d3eecc2e04120b5e18447f6 /libs/minisat/Queue.h | |
| parent | f7e9056a9394dd37957d8b849f14d21185b49ed8 (diff) | |
| download | yosys-75a5d6bd1ec6f23e508a52d04a6e384d247efd90.tar.gz yosys-75a5d6bd1ec6f23e508a52d04a6e384d247efd90.tar.bz2 yosys-75a5d6bd1ec6f23e508a52d04a6e384d247efd90.zip | |
workaround for OpenBSD 'stdin' implementation
Diffstat (limited to 'libs/minisat/Queue.h')
0 files changed, 0 insertions, 0 deletions