diff options
Diffstat (limited to 'src/port/rint.c')
-rw-r--r-- | src/port/rint.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/port/rint.c b/src/port/rint.c index d27fdfa6b4a..d59d9ab7743 100644 --- a/src/port/rint.c +++ b/src/port/rint.c @@ -12,7 +12,6 @@ */ #include "c.h" -#include <float.h> #include <math.h> /* |