mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-22 05:43:39 +00:00
Code Activity

clang warnings

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-11-11 07:19:20 -08:00
parent 20598e3bd2
commit 74cfcc4730
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tactic/fd_solver/smtfd_solver.cpp
View file

@ -379,7 +379,9 @@ namespace smtfd {
m_abs(a), m_abs(a),
m_lemmas(m), m_lemmas(m),
m_rewriter(m) m_rewriter(m)
{} {
(void)m;
}
void set_max_lemmas(unsigned max) { void set_max_lemmas(unsigned max) {
m_max_lemmas = max; m_max_lemmas = max;