mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-17 01:46:39 +00:00
Code Activity

Avoid broken stack by degree_lit_num_lt

Browse source
This commit is contained in:
Kirill A. Korinsky 2024-08-26 00:27:07 +02:00
parent c1454dc31c
commit 749ea6c67c
No known key found for this signature in database
GPG key ID: 98D8D9867759226E
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/nlsat/nlsat_solver.cpp
View file

@ -2835,7 +2835,7 @@ namespace nlsat {
struct degree_lit_num_lt { struct degree_lit_num_lt {
unsigned_vector & m_degrees; unsigned_vector & m_degrees;
unsigned_vector & m_lit_num; 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_degrees(ds),
m_lit_num(ln) { m_lit_num(ln) {
} }