Use istream::bad()

2010-06-28 10:19:08 +00:00 · 2010-06-28 10:19:08 +00:00 · 124b252def
parent 8dc7ff13fb
commit 124b252def
1 changed files with 1 additions and 1 deletions
--- a/Stream_support/include/CGAL/IO/File_scanner_OFF.h
+++ b/Stream_support/include/CGAL/IO/File_scanner_OFF.h
@ -396,7 +396,7 @@ public:
            index = i32;
      } else
            m_in >> index;
-        if( ! m_in) {
+      if( m_in.bad()) {
            if ( verbose()) {
                std::cerr << " " << std::endl;
                std::cerr << "File_scanner_OFF::" << std::endl;