From 79cbf9067c07ed810b3466174278d77b9a05b46d Mon Sep 17 00:00:00 2001 From: Ruben Undheim Date: Sat, 6 Sep 2014 08:47:06 +0200 Subject: Corrected spelling mistakes found by lintian --- libs/minisat/Solver.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'libs') diff --git a/libs/minisat/Solver.h b/libs/minisat/Solver.h index 62a12f3c7..44570b0e1 100644 --- a/libs/minisat/Solver.h +++ b/libs/minisat/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. -- cgit v1.2.3