From c40c40982a88ce8076fca26ac6e38f3fbefce2b3 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Thu, 16 Mar 2006 22:06:48 +0000
Subject: [PATCH] Same fix for GMP-less configuration.

---
 Kinetic_data_structures/include/CGAL/Kinetic/basic.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Kinetic_data_structures/include/CGAL/Kinetic/basic.h b/Kinetic_data_structures/include/CGAL/Kinetic/basic.h
index b4ebfa373b2..960cb1ab56c 100644
--- a/Kinetic_data_structures/include/CGAL/Kinetic/basic.h
+++ b/Kinetic_data_structures/include/CGAL/Kinetic/basic.h
@@ -71,9 +71,9 @@ CGAL_KINETIC_BEGIN_NAMESPACE
 typedef CGAL::Gmpq Default_field_nt;
 CGAL_KINETIC_END_NAMESPACE
 #else
-#include <CGAL/MPFloat.h>
+#include <CGAL/MP_Float.h>
 CGAL_KINETIC_BEGIN_NAMESPACE
-typedef CGAL::MPFloat Default_field_nt;
+typedef CGAL::MP_Float Default_field_nt;
 CGAL_KINETIC_END_NAMESPACE
 #endif