mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-07 06:33:23 +00:00
Code Activity

print_stat_f: Remove implicit conversion of float to double.

Browse source
This commit is contained in:
Bruce Mitchener 2018-01-02 22:50:50 +07:00
parent e8a9e1a58b
commit a3ad0aff8b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/stats.h
View file

@ -29,7 +29,7 @@ inline void print_stat(std::ostream& out, char const* msg, unsigned num) {
} }
inline void print_stat_f(std::ostream& out, char const* msg, float num) { inline void print_stat_f(std::ostream& out, char const* msg, float num) {
if (num > 0.0) { if (num > 0.0f) {
out << msg << num << "\n"; out << msg << num << "\n";
} }
} }