mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

fix compiler warnings #4727

Browse source
This commit is contained in:
Nuno Lopes 2020-10-18 11:31:21 +01:00
parent 44679d8f5b
commit b77c57451f
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smt/smt_model_finder.cpp
View file

@ -2541,4 +2541,4 @@ namespace smt {
m_new_constraints.reset(); m_new_constraints.reset();
} }
} }
}; }

2
src/smt/smt_model_finder.h
View file

@ -120,7 +120,7 @@ namespace smt {
void checkpoint(char const* component); void checkpoint(char const* component);
quantifier_macro_info* operator()(quantifier* q); quantifier_macro_info* operator()(quantifier* q) override;
}; };
}; };