summaryrefslogtreecommitdiff
path: root/extract-dbl.c
diff options
context:
space:
mode:
authorTorbjorn Granlund <tg@gmplib.org>2016-08-29 21:40:14 +0200
committerTorbjorn Granlund <tg@gmplib.org>2016-08-29 21:40:14 +0200
commit89e2ec7c663922359f49689c92e8c778f4f566bc (patch)
tree5e622726688019e65bf2fc7f6684050b7b0fddb5 /extract-dbl.c
parent9deac7786c2eebbb7bdb805a544e7f7f0f3f86d3 (diff)
downloadgmp-89e2ec7c663922359f49689c92e8c778f4f566bc.tar.gz
Include just gmp-impl.h, make gmp-impl.h grab gmp.h.
Diffstat (limited to 'extract-dbl.c')
-rw-r--r--extract-dbl.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/extract-dbl.c b/extract-dbl.c
index a6e7bf946..e44d6faa8 100644
--- a/extract-dbl.c
+++ b/extract-dbl.c
@@ -28,7 +28,6 @@ You should have received copies of the GNU General Public License and the
GNU Lesser General Public License along with the GNU MP Library. If not,
see https://www.gnu.org/licenses/. */
-#include "gmp.h"
#include "gmp-impl.h"
#ifdef XDEBUG