From 58ee8e3b8a8157164f89045ef62b7fcefc963144 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 27 Mar 2017 14:36:24 +0200 Subject: [PATCH] Add minisat 00_PATCH_typofixes.patch --- libs/minisat/00_PATCH_typofixes.patch | 20 ++++++++++++++++++++ libs/minisat/00_UPDATE.sh | 1 + 2 files changed, 21 insertions(+) create mode 100644 libs/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 -- 2.30.2