mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00
Code Activity

remove artificial usage of function, it causes another compiler warning to refer to a function without arguments.

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-10-25 10:28:25 -07:00
parent c672c3a250
commit 09a2ba4931
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/muz/spacer/spacer_convex_closure.cpp
View file

@ -261,7 +261,6 @@ bool convex_closure::infer_div_pred(const vector<rational> &data, rational &m,
});
SASSERT(data.size() > 1);
SASSERT(is_sorted(data));
(void)is_sorted;
m = rational(2);