mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-08 17:01:55 +00:00
Code Activity

Fix compilation error in nla_grobner.cpp cross_nested constructor

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2025-09-19 21:12:18 +00:00
parent f58aa28b41
commit cb039c95aa
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/math/lp/nla_grobner.cpp
View file

@ -970,7 +970,9 @@ namespace nla {
cross_nested cn( cross_nested cn(
[this, dep](const nex* n) { return c().m_intervals.check_nex(n, dep); }, [this, dep](const nex* n) { return c().m_intervals.check_nex(n, dep); },
[this](unsigned j) { return c().var_is_fixed(j); }, [this](unsigned j) { return c().var_is_fixed(j); },
[this]() { return c().random(); }, nc); c().reslim(),
c().random(),
nc);
cn.run(to_sum(e)); cn.run(to_sum(e));
bool ret = cn.done(); bool ret = cn.done();
return ret; return ret;