From 4d7c940c2ff9fe199261dd75fa1ffdebe8366128 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Luis=20Pe=C3=B1aranda?= <luis.penaranda@gmx.com>
Date: Tue, 5 Nov 2013 20:29:15 -0200
Subject: [PATCH] use CGAL/config.h instead to CGAL/basic.h

The only use of this include here is to detect the definition
CGAL_HAS_THREADS.
---
 Number_types/include/CGAL/GMP/Gmpfi_type.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>