diff --git a/Stream_support/include/CGAL/IO/File_header_extended_OFF.h b/Stream_support/include/CGAL/IO/File_header_extended_OFF.h
index 8317be5b3bd..c6ab8e370bc 100644
--- a/Stream_support/include/CGAL/IO/File_header_extended_OFF.h
+++ b/Stream_support/include/CGAL/IO/File_header_extended_OFF.h
@@ -108,6 +108,9 @@ std::istream& operator>>( std::istream& in, File_header_extended_OFF& h);
 
 // istream modifier skips chars until end of line.
 inline std::istream& skip_until_EOL( std::istream& in) {
+  if(in.eof()){
+    return in;
+  }
     char c;
     while ( in.get(c) && c != '\n')
         ;