From 6d8066fccd2d518f8e922cc258c459b5e4a69b4f Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Fri, 8 Jun 2007 18:23:01 +0000
Subject: [PATCH] Remove new g++ 4.3 warning.

---
 Number_types/include/CGAL/Quotient.h | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/Number_types/include/CGAL/Quotient.h b/Number_types/include/CGAL/Quotient.h
index b662f9d4167..cd0c92092b1 100644
--- a/Number_types/include/CGAL/Quotient.h
+++ b/Number_types/include/CGAL/Quotient.h
@@ -378,9 +378,9 @@ operator>>(std::istream& in, Quotient<NT>& r)
   char c = 0;
 
 #ifndef CGAL_CFG_NO_LOCALE
-  while (in.get(c) && std::isspace(c, std::locale::classic() ));
+  while (in.get(c) && std::isspace(c, std::locale::classic() )) {}
 #else
-  while (in.get(c) && CGAL_CLIB_STD::isspace(c));
+  while (in.get(c) && CGAL_CLIB_STD::isspace(c)) {}
 #endif // CGAL_CFG_NO_LOCALE
   if ( !in ) return in;
   in.putback(c);
@@ -390,16 +390,16 @@ operator>>(std::istream& in, Quotient<NT>& r)
   in >> num;
 
 #ifndef CGAL_CFG_NO_LOCALE
-  while (in.get(c) && std::isspace(c, std::locale::classic() ));
+  while (in.get(c) && std::isspace(c, std::locale::classic() )) {}
 #else
-  while (in.get(c) && CGAL_CLIB_STD::isspace(c));
+  while (in.get(c) && CGAL_CLIB_STD::isspace(c)) {}
 #endif // CGAL_CFG_NO_LOCALE
   if (( in ) && ( c == '/'))
   {
 #ifndef CGAL_CFG_NO_LOCALE
-      while (in.get(c) && std::isspace(c, std::locale::classic() ));
+      while (in.get(c) && std::isspace(c, std::locale::classic() )) {}
 #else
-      while (in.get(c) && CGAL_CLIB_STD::isspace(c));
+      while (in.get(c) && CGAL_CLIB_STD::isspace(c)) {}
 #endif // CGAL_CFG_NO_LOCALE
       CGAL_assertion( in );
       in.putback(c);