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

Merge pull request #1430 from waywardmonkeys/double-promotion-fix

Browse source 
print_stat_f: Remove implicit conversion of float to double.
This commit is contained in:
Nikolaj Bjorner 2018-01-02 07:55:13 -08:00 • committed by GitHub
commit a302832917
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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) {
if (num > 0.0) {
if (num > 0.0f) {
out << msg << num << "\n";
}
}