Description: fix spelling errors
Author: Julien Puydt
Forwarded: https://github.com/msoos/cryptominisat/issues/622

--- cryptominisat.orig/src/cms_breakid.cpp
+++ cryptominisat/src/cms_breakid.cpp
@@ -211,7 +211,7 @@
     if (solver->check_assumptions_contradict_foced_assignment()) {
         if (solver->conf.verbosity) {
             cout
-            << "c [breakid] forced assignements contradicted by assumptions, cannot run"
+            << "c [breakid] forced assignments contradicted by assumptions, cannot run"
             << endl;
         }
         return false;
--- cryptominisat.orig/src/main.cpp
+++ cryptominisat/src/main.cpp
@@ -273,7 +273,7 @@
     }
     if (ret == l_True && !printResult && !toFile)
     {
-        cout << "c Not printing satisfying assignement. "
+        cout << "c Not printing satisfying assignment. "
         "Use the '--printsol 1' option for that" << endl;
     }
 
--- cryptominisat.orig/src/searcher.cpp
+++ cryptominisat/src/searcher.cpp
@@ -2203,7 +2203,7 @@
         if (varData[v].removed != Removed::none
             //NOTE: the level==0 check is needed because SLS calls this
             //when there is a solution already, but we should only skip
-            //level 0 assignements
+            //level 0 assignments
             || (value(v) != l_Undef && varData[v].level == 0)
         ) {
             //