diff options
Diffstat (limited to 'mpf/set_d.c')
| -rw-r--r-- | mpf/set_d.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mpf/set_d.c b/mpf/set_d.c index 100194d11..0442f2f88 100644 --- a/mpf/set_d.c +++ b/mpf/set_d.c @@ -34,7 +34,6 @@ see https://www.gnu.org/licenses/. */ #include <float.h> /* for DBL_MAX */ #endif -#include "gmp.h" #include "gmp-impl.h" void |