From a528e215dc27c05bcce96741a1f06aeb063488db Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Mon, 28 Jun 2010 10:57:58 +0000
Subject: [PATCH] ios::fail() is a more general test than bad()

---
 Stream_support/include/CGAL/IO/File_scanner_OFF.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Stream_support/include/CGAL/IO/File_scanner_OFF.h b/Stream_support/include/CGAL/IO/File_scanner_OFF.h
index fddfb8ab3f2..ae587826cf5 100644
--- a/Stream_support/include/CGAL/IO/File_scanner_OFF.h
+++ b/Stream_support/include/CGAL/IO/File_scanner_OFF.h
@@ -397,7 +397,7 @@ public:
     } else
       m_in >> index;
 
-    if( m_in.bad()) {
+    if( m_in.fail()) {
       if ( verbose()) {
         std::cerr << " " << std::endl;
         std::cerr << "File_scanner_OFF::" << std::endl;