diff options
author | Damien George <damien.p.george@gmail.com> | 2015-01-12 21:56:35 +0000 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2015-01-12 21:56:35 +0000 |
commit | 0178aa9a113dc224820fd638dc353dfe5ea6bee2 (patch) | |
tree | ab292120a2eefb020304c62baf7d8854bddb165d /unix | |
parent | b58da9420cdd0cca1e79be32f24088345cf66946 (diff) | |
download | micropython-0178aa9a113dc224820fd638dc353dfe5ea6bee2.tar.gz micropython-0178aa9a113dc224820fd638dc353dfe5ea6bee2.zip |
py, unix: Allow to compile with -Wdouble-promotion.
Ref issue #699.
Diffstat (limited to 'unix')
-rw-r--r-- | unix/modtime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/modtime.c b/unix/modtime.c index 2efb7fab36..61b5e0dd53 100644 --- a/unix/modtime.c +++ b/unix/modtime.c @@ -52,7 +52,7 @@ void msec_sleep_tv(struct timeval *tv) { #endif #if defined(MP_CLOCKS_PER_SEC) -#define CLOCK_DIV (MP_CLOCKS_PER_SEC / 1000.0) +#define CLOCK_DIV (MP_CLOCKS_PER_SEC / 1000.0F) #else #error Unsupported clock() implementation #endif |