From cff1e9233f752b69d9a14bd0270cdd33edb0d1ee Mon Sep 17 00:00:00 2001 From: "Kirill A. Korinsky" Date: Mon, 26 Aug 2024 19:02:54 +0200 Subject: [PATCH] Avoid broken stack at few places (#7353) * Avoid broken stack by degree_lit_num_lt * Avoid broken stack by fix_dl_var_tactic --------- Co-authored-by: Nikolaj Bjorner --- src/nlsat/nlsat_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp index c30515470..e7e3071af 100644 --- a/src/nlsat/nlsat_solver.cpp +++ b/src/nlsat/nlsat_solver.cpp @@ -2835,7 +2835,7 @@ namespace nlsat { struct degree_lit_num_lt { unsigned_vector & m_degrees; unsigned_vector & m_lit_num; - degree_lit_num_lt(unsigned_vector & ds, unsigned_vector ln) : + degree_lit_num_lt(unsigned_vector & ds, unsigned_vector & ln) : m_degrees(ds), m_lit_num(ln) { }