mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-18 11:58:31 +00:00
Code Activity

integrating NB suggestions

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2019-12-11 11:50:29 -10:00
parent ac0b8ba455
commit 0db79b1c79
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/math/lp/nex.h
View file

@ -202,9 +202,6 @@ public:
nex_mul() : m_coeff(rational(1)) {} nex_mul() : m_coeff(rational(1)) {}
template <typename T>
nex_mul() : m_coeff() {}
const rational& coeff() const { const rational& coeff() const {
return m_coeff; return m_coeff;
} }