update unit_lim to the correct value (#7423)

Co-authored-by: stormckey <chenhaogao123@gmail.com>
Z3Prover · Oct 16, 2024 · 8ff4036 · 8ff4036
1 parent 3896e18
commit 8ff4036
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp
@@ -134,7 +134,7 @@ namespace smt {
                     dst = tr(unit_trail.get(j));
                     pctx.assert_expr(dst);
                 }
-                unit_lim[i] = sz;
+                unit_lim[i] = pctx.assigned_literals().size();
             }
             IF_VERBOSE(1, verbose_stream() << "(smt.thread :units " << sz << ")\n");
         };