From 3cf2eba2df55fe398f4ac3544426f73b6ee49610 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Thu, 8 Apr 2004 21:15:20 +0000
Subject: [PATCH] =?UTF-8?q?=EF=BF=BDAdd=20a=20comment?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Packages/Configuration/config/testfiles/CGAL_CFG_NO_LIMITS.C | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Packages/Configuration/config/testfiles/CGAL_CFG_NO_LIMITS.C b/Packages/Configuration/config/testfiles/CGAL_CFG_NO_LIMITS.C
index b5224a22fef..81385db370e 100644
--- a/Packages/Configuration/config/testfiles/CGAL_CFG_NO_LIMITS.C
+++ b/Packages/Configuration/config/testfiles/CGAL_CFG_NO_LIMITS.C
@@ -38,6 +38,8 @@ int main()
 {
   double d = std::numeric_limits<double>::denorm_min();
   double e = std::numeric_limits<double>::min();
+  // Note : denorm_min == min is actually not necessarily a bug.
+  // So a better test should be found.
   if (d == 0 || d == e)
     return 1;
   return 0;