--- 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.