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 (file)
index 0000000..175f483
--- /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 eb278c3078ec39dc5c547762c5836b6b761e0edb..2ffc115532b6eda0e1534a8fda40d88a1cb7a6c3 100644 (file)
--- 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