From 749ea6c67c2d7c6a6bbadf98daa811676fad0359 Mon Sep 17 00:00:00 2001 From: "Kirill A. Korinsky" Date: Mon, 26 Aug 2024 00:27:07 +0200 Subject: [PATCH] Avoid broken stack by degree_lit_num_lt --- 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) { }