fix #4856

Z3Prover · Dec 6, 2020 · 746dd74 · 746dd74
1 parent c3c7aad
commit 746dd74
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/smt/watch_list.cpp b/src/smt/watch_list.cpp
@@ -106,7 +106,8 @@ namespace smt {
             else 
                 *prev++ = *it;
         }
-        end_cls_core() -= num_deleted * sizeof(clause *);
+        if (num_deleted > 0)
+            end_cls_core() -= num_deleted * sizeof(clause *);
     }
 
     void watch_list::remove_literal(literal l) {