From a5110493f86599573548ca0c6db06f48fb05fb87 Mon Sep 17 00:00:00 2001
From: Andreas Fabri <andreas.fabri@geometryfactory.com>
Date: Wed, 2 Feb 2022 07:38:42 +0000
Subject: [PATCH] Stream_support: Fix File_scanner_OFF::scan_facet()

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

diff --git a/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h b/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
index 91adc9fa970..715d999d8e6 100644
--- 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]);