Fixing spelling issues by @SnarkBoojum

msoos · Jul 14, 2020 · 26109ef · 26109ef
1 parent eb506e5
commit 26109ef
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/cms_breakid.cpp b/src/cms_breakid.cpp
@@ -211,7 +211,7 @@ bool BreakID::doit()
     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;

diff --git a/src/main.cpp b/src/main.cpp
@@ -273,7 +273,7 @@ void Main::printResultFunc(
     }
     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;
     }
 

diff --git a/src/searcher.cpp b/src/searcher.cpp
@@ -2203,7 +2203,7 @@ void Searcher::rebuildOrderHeapVMTF()
         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)
         ) {
             //