mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-09-11 20:21:25 +00:00
Code Activity

Fix verbose logs

Browse source
This commit is contained in:
Jakob Rath 2022-12-22 19:25:31 +01:00
parent 0cfc0af7ee
commit fa0a481fc8
2 changed files with 1 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/math/polysat/log.cpp
View file

@ -50,9 +50,6 @@ static LogLevel get_max_log_level(std::string const& fn, std::string const& pret
(void)fn;
(void)pretty_fn;
if (fn == "push_cjust")
return LogLevel::Verbose;
// if (fn == "pop_levels")
// return LogLevel::Default;