diff options
Diffstat (limited to 'libs/minisat/00_PATCH_typofixes.patch')
| -rw-r--r-- | libs/minisat/00_PATCH_typofixes.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/libs/minisat/00_PATCH_typofixes.patch b/libs/minisat/00_PATCH_typofixes.patch new file mode 100644 index 00000000..175f483b --- /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. |