Stream_support: Fix File_scanner_OFF::scan_facet()

2022-02-02 07:38:42 +00:00 · 2022-02-02 07:38:42 +00:00 · a5110493f8
parent 24c88fd216
commit a5110493f8
1 changed files with 1 additions and 0 deletions
--- a/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
+++ b/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
@ -710,6 +710,7 @@ public:
      if(entries.empty())
      {
        m_in.clear(std::ios::badbit);
+	size = 0;
        return;
      }
      size = static_cast<std::size_t>(entries[0]);