aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2017-03-27 14:36:24 +0200
committerClifford Wolf <clifford@clifford.at>2017-03-27 14:37:00 +0200
commit58ee8e3b8a8157164f89045ef62b7fcefc963144 (patch)
tree7c2a96c28fc12b3a3c97afa324091720afba34a4
parent71cbe98a091ab05ef7bc678d8874db5ac9fb87ec (diff)
downloadyosys-58ee8e3b8a8157164f89045ef62b7fcefc963144.tar.gz
yosys-58ee8e3b8a8157164f89045ef62b7fcefc963144.tar.bz2
yosys-58ee8e3b8a8157164f89045ef62b7fcefc963144.zip
Add minisat 00_PATCH_typofixes.patch
-rw-r--r--libs/minisat/00_PATCH_typofixes.patch20
-rw-r--r--libs/minisat/00_UPDATE.sh1
2 files changed, 21 insertions, 0 deletions
diff --git a/libs/minisat/00_PATCH_typofixes.patch b/libs/minisat/00_PATCH_typofixes.patch
new file mode 100644
index 000000000..175f483bf
--- /dev/null
+++ b/libs/minisat/00_PATCH_typofixes.patch
@@ -0,0 +1,20 @@
+--- Solver.h
++++ Solver.h
+@@ -103,7 +103,7 @@ public:
+ int nFreeVars () const;
+ void printStats () const; // Print some current statistics to standard output.
+
+- // Resource contraints:
++ // Resource constraints:
+ //
+ void setConfBudget(int64_t x);
+ void setPropBudget(int64_t x);
+@@ -230,7 +230,7 @@ protected:
+ double learntsize_adjust_confl;
+ int learntsize_adjust_cnt;
+
+- // Resource contraints:
++ // Resource constraints:
+ //
+ int64_t conflict_budget; // -1 means no budget.
+ int64_t propagation_budget; // -1 means no budget.
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