diff --git a/Number_types/include/CGAL/GMP/Gmpfi_type.h b/Number_types/include/CGAL/GMP/Gmpfi_type.h
index 03f5602c929..517e3640aef 100644
--- a/Number_types/include/CGAL/GMP/Gmpfi_type.h
+++ b/Number_types/include/CGAL/GMP/Gmpfi_type.h
@@ -19,7 +19,7 @@
 #ifndef CGAL_GMPFI_TYPE_H
 #define CGAL_GMPFI_TYPE_H
 
-#include <CGAL/basic.h>
+#include <CGAL/config.h>
 #include <CGAL/gmp.h>
 #include <mpfr.h>
 #include <CGAL/GMP/Gmpfr_type.h>