From 19e2e05e9d0ec88fb30f595b7bc2bc6dc905b654 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Mon, 17 Sep 2001 12:09:23 +0000
Subject: [PATCH] - <utility> is not needed anymore since relational operators
 are evil. - CGAL_IA_NEW_FILTERS is becoming obsolete.

---
 Packages/Interval_arithmetic/include/CGAL/Interval_base.h | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/Packages/Interval_arithmetic/include/CGAL/Interval_base.h b/Packages/Interval_arithmetic/include/CGAL/Interval_base.h
index f099aa42340..a7d71271439 100644
--- a/Packages/Interval_arithmetic/include/CGAL/Interval_base.h
+++ b/Packages/Interval_arithmetic/include/CGAL/Interval_base.h
@@ -27,12 +27,7 @@
 // by the number types Interval_nt<>.
 
 #include <CGAL/basic.h>
-#include <utility>				// Relational operators.
-#include <CGAL/double.h>                        // is_finite(double)
-
-#ifdef __GNUG__
-#  define CGAL_IA_NEW_FILTERS   // VC++ is not ready.
-#endif
+#include <CGAL/double.h>
 
 CGAL_BEGIN_NAMESPACE