From fe48ffea42a908f4f1e0ed4de6738e7dd5902e06 Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Thu, 26 Nov 2020 15:35:24 +0100
Subject: [PATCH] Don't use FT() in Normal creation because Kernels based on
 Exact_integer can't construct from double.

---
 Stream_support/include/CGAL/IO/OFF.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Stream_support/include/CGAL/IO/OFF.h b/Stream_support/include/CGAL/IO/OFF.h
index 08cdf1d5080..d1588a5cb92 100644
--- a/Stream_support/include/CGAL/IO/OFF.h
+++ b/Stream_support/include/CGAL/IO/OFF.h
@@ -24,6 +24,7 @@
 #include <CGAL/iterator.h>
 #include <CGAL/Kernel_traits.h>
 #include <CGAL/use.h>
+#include <CGAL/internal/Exact_type_selector.h>
 
 #include <boost/range/value_type.hpp>
 #include <boost/utility/enable_if.hpp>
@@ -64,7 +65,6 @@ bool read_OFF(std::istream& is,
   typedef typename CGAL::Kernel_traits<Point>::Kernel                                 Kernel;
   typedef typename Kernel::Point_2                                                    Texture;
   typedef typename Kernel::Vector_3                                                   Normal;
-  typedef typename Kernel::FT                                                         FT;
   typedef CGAL::Color                                                                 Color;
 
   if(!is.good()){
@@ -91,7 +91,7 @@ bool read_OFF(std::istream& is,
       double nx, ny, nz, nw;
       scanner.scan_normal(nx, ny, nz, nw);
       CGAL_assertion(nw != 0);
-      *vn_out++ = Normal(FT(nx), FT(ny), FT(nz), FT(nw));
+      *vn_out++ = Normal(nx, ny, nz, nw);
     }
 
     if(scanner.has_vcolors())