From 866f352ea998458e2a8db90ef841cc6414a20f7e Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Thu, 19 Feb 2026 17:57:04 +0000 Subject: [PATCH] Fix ambiguous svector constructor calls in theory_finite_set_lattice_refutation.cpp Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --- src/smt/theory_finite_set_lattice_refutation.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/smt/theory_finite_set_lattice_refutation.cpp b/src/smt/theory_finite_set_lattice_refutation.cpp index e55acef43..b71d5d021 100644 --- a/src/smt/theory_finite_set_lattice_refutation.cpp +++ b/src/smt/theory_finite_set_lattice_refutation.cpp @@ -19,10 +19,10 @@ const int MAX_DECISION_LITERALS = 10; namespace smt { reachability_matrix::reachability_matrix(context &ctx, theory_finite_set_lattice_refutation &t_lattice) - : reachable(NUM_WORDS * NUM_WORDS * 64, 0ull), + : reachable(NUM_WORDS * NUM_WORDS * 64, (uint64_t)0), links(NUM_WORDS * NUM_WORDS * 64 * 64, {nullptr, nullptr}), - link_dls(NUM_WORDS * NUM_WORDS * 64 * 64, 0ull), - non_links(NUM_WORDS * NUM_WORDS * 64, 0ull), + link_dls(NUM_WORDS * NUM_WORDS * 64 * 64, (uint64_t)0), + non_links(NUM_WORDS * NUM_WORDS * 64, (uint64_t)0), non_link_justifications(NUM_WORDS * NUM_WORDS * 64 * 64, {nullptr, nullptr}), largest_var(0), max_size(NUM_WORDS * 64),