max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(util/rb_tree): style

Browse source
This commit is contained in:
Leonardo de Moura 2017-03-22 08:31:48 -07:00
parent 52f84c139b
commit 3f42e5fbd9
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/util/rb_tree.h
View file

@ -71,10 +71,7 @@ class rb_tree : private CMP {
}
bool check_cmp_result(T const & v1, T const & v2) const {
DEBUG_CODE(
int n1 = CMP::operator()(v1, v2);
int n2 = CMP::operator()(v2, v1);
);
DEBUG_CODE(int n1 = CMP::operator()(v1, v2); int n2 = CMP::operator()(v2, v1););
lean_assert((n1 < 0 && n2 > 0) || (n1 == 0 && n2 == 0) || (n1 > 0 && n2 < 0));
return true;
}