From e76cc00c4fb2a66640e9c7272c12ba6e8895b89b Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Mon, 23 Nov 2020 11:23:09 +0100
Subject: [PATCH] Fix reading of 0#red

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

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 1eec591d4c1..f761b7bc27f 100644
--- a/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
+++ b/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
@@ -941,6 +941,11 @@ public:
         if(color_info.at(c) == '.')
         {
           is_float = true;
+       //   break;
+        }
+        if(color_info.at(c) == '#')
+        {
+          color_info.resize(c);
           break;
         }
       }