diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-03-27 14:36:24 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-03-27 14:37:00 +0200 |
| commit | 58ee8e3b8a8157164f89045ef62b7fcefc963144 (patch) | |
| tree | 7c2a96c28fc12b3a3c97afa324091720afba34a4 /libs/minisat/00_UPDATE.sh | |
| parent | 71cbe98a091ab05ef7bc678d8874db5ac9fb87ec (diff) | |
| download | yosys-58ee8e3b8a8157164f89045ef62b7fcefc963144.tar.gz yosys-58ee8e3b8a8157164f89045ef62b7fcefc963144.tar.bz2 yosys-58ee8e3b8a8157164f89045ef62b7fcefc963144.zip | |
Add minisat 00_PATCH_typofixes.patch
Diffstat (limited to 'libs/minisat/00_UPDATE.sh')
| -rw-r--r-- | libs/minisat/00_UPDATE.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/minisat/00_UPDATE.sh b/libs/minisat/00_UPDATE.sh index eb278c307..2ffc11553 100644 --- a/libs/minisat/00_UPDATE.sh +++ b/libs/minisat/00_UPDATE.sh @@ -15,4 +15,5 @@ sed -i -e '1 i #define __STDC_FORMAT_MACROS' *.cc patch -p0 < 00_PATCH_mkLit_default_arg.patch patch -p0 < 00_PATCH_remove_zlib.patch patch -p0 < 00_PATCH_no_fpu_control.patch +patch -p0 < 00_PATCH_typofixes.patch |