From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 27 Mar 2017 12:36:24 +0000 (+0200)
Subject: Add minisat 00_PATCH_typofixes.patch
X-Git-Tag: yosys-0.8~453
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=58ee8e3b8a8157164f89045ef62b7fcefc963144;p=yosys.git

Add minisat 00_PATCH_typofixes.patch
---

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