From 53d1ee3d7dad3a7953fa04fef9a1a7ef642c44f9 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Fri, 18 Jan 2008 20:19:17 +0000
Subject: [PATCH] Use <cfloat> more consistently instead of <float.h>.

---
 Number_types/include/CGAL/FPU.h                  | 4 ++--
 Number_types/include/CGAL/double.h               | 2 +-
 Stream_lines_2/include/CGAL/Triangular_field_2.h | 4 ++--
 Timer/include/CGAL/Real_timer.h                  | 2 +-
 Timer/src/CGAL/Timer.cpp                         | 2 +-
 5 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/Number_types/include/CGAL/FPU.h b/Number_types/include/CGAL/FPU.h
index 599a8f1bfc4..dab7df7daab 100644
--- a/Number_types/include/CGAL/FPU.h
+++ b/Number_types/include/CGAL/FPU.h
@@ -49,10 +49,10 @@ extern "C" {
      // GCC seems to remove (fixincludes) read_rnd/write_rnd...
 #    include "/usr/include/float.h"
 #  else
-#    include <float.h>
+#    include <cfloat>
 #  endif
 #elif defined __BORLANDC__
-#  include <float.h>
+#  include <cfloat>
 #elif defined _MSC_VER || defined __sparc__ || \
      (defined __i386__ && !defined __PGI && !defined __SUNPRO_CC)
    // Nothing to include.
diff --git a/Number_types/include/CGAL/double.h b/Number_types/include/CGAL/double.h
index bc400cce4b1..b36c99723df 100644
--- a/Number_types/include/CGAL/double.h
+++ b/Number_types/include/CGAL/double.h
@@ -33,7 +33,7 @@
 
 
 #ifdef _MSC_VER
-#include <float.h>
+#include <cfloat>
 #endif
 
 #ifdef CGAL_CFG_IEEE_754_BUG
diff --git a/Stream_lines_2/include/CGAL/Triangular_field_2.h b/Stream_lines_2/include/CGAL/Triangular_field_2.h
index 52c85491e08..0dec69acb94 100644
--- a/Stream_lines_2/include/CGAL/Triangular_field_2.h
+++ b/Stream_lines_2/include/CGAL/Triangular_field_2.h
@@ -23,8 +23,8 @@
 #include <CGAL/Delaunay_triangulation_2.h>
 #include <CGAL/Polygon_2_algorithms.h>
 
-#include <float.h>
-#include <stdlib.h>
+#include <cfloat>
+#include <cstdlib>
 
 #include <iostream>
 #include <fstream>
diff --git a/Timer/include/CGAL/Real_timer.h b/Timer/include/CGAL/Real_timer.h
index f9ac6b64c35..043e81ffba2 100644
--- a/Timer/include/CGAL/Real_timer.h
+++ b/Timer/include/CGAL/Real_timer.h
@@ -27,7 +27,7 @@
 
 #include <CGAL/basic.h>
 // For the numerical limits
-#include <float.h>
+#include <cfloat>
 
 CGAL_BEGIN_NAMESPACE
 
diff --git a/Timer/src/CGAL/Timer.cpp b/Timer/src/CGAL/Timer.cpp
index 6bc1c9694c6..47442f8e4a4 100644
--- a/Timer/src/CGAL/Timer.cpp
+++ b/Timer/src/CGAL/Timer.cpp
@@ -50,7 +50,7 @@
 #endif //  CGAL__GETRUSAGE //
 
 // For the numerical limits
-#include <float.h>
+#include <cfloat>
 
 
 CGAL_BEGIN_NAMESPACE