fix bug in stable sort

sfiruch · Dec 29, 2019 · 7a1a2c1 · 7a1a2c1
1 parent f14b50b
commit 7a1a2c1
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/vivify.cpp b/src/vivify.cpp
@@ -287,11 +287,12 @@ struct vivify_flush_smaller {
   bool operator () (Clause * a, Clause * b) const {
 
     const auto eoa = a->end (), eob = b->end ();
+    auto i = a->begin ();
     auto j = b->begin ();
-    for (auto i = a->begin (); i != eoa && j != eob; i++, j++)
+    for (; i != eoa && j != eob; i++, j++)
       if (*i != *j) return *i < *j;
 
-    return j == eob;
+    return i != eoa && j == eob;
   }
 };