mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-13 06:30:54 +00:00
Code Activity

fix the build

Browse source 
Signed-off-by: Lev <levnach@hotmail.com>
This commit is contained in:
Lev 2018-09-25 17:58:33 -07:00 • committed by Lev Nachmanson
parent 545bfff827
commit 36d587e519
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/lp/nla_solver.cpp
View file

@ -1115,7 +1115,7 @@ struct solver::imp {
void add_factorization_explanation(expl_set expl) const { void add_factorization_explanation(expl_set expl) const {
SASSERT(false); SASSERT(false);
/see get_factors()! // see get_factors()!
} }
self_type operator++() { self_type i = *this; operator++(1); return i; } self_type operator++() { self_type i = *this; operator++(1); return i; }