From 6c83e73cbccaebbf0816f1bf35517f49c6e87936 Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Thu, 8 Oct 2020 15:29:21 +0200
Subject: [PATCH] use std::int32_t

---
 Stream_support/include/CGAL/IO/File_writer_OFF.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Stream_support/include/CGAL/IO/File_writer_OFF.h b/Stream_support/include/CGAL/IO/File_writer_OFF.h
index b8c39d80906..616fe9375b0 100644
--- a/Stream_support/include/CGAL/IO/File_writer_OFF.h
+++ b/Stream_support/include/CGAL/IO/File_writer_OFF.h
@@ -21,6 +21,7 @@
 #include <CGAL/IO/File_header_OFF.h>
 #include <iostream>
 #include <cstddef>
+#include <cstdint>
 
 namespace CGAL {
 
@@ -77,13 +78,13 @@ public:
     }
     void write_facet_begin( std::size_t no) {
         if ( m_header.binary())
-          I_Binary_write_big_endian_integer32( out(), static_cast<boost::int32_t>(no));
+          I_Binary_write_big_endian_integer32( out(), static_cast<std::int32_t>(no));
         else
             out() << no << ' ';
     }
     void write_facet_vertex_index( std::size_t index) {
         if ( m_header.binary())
-          I_Binary_write_big_endian_integer32( out(), static_cast<boost::int32_t>(index));
+          I_Binary_write_big_endian_integer32( out(), static_cast<std::int32_t>(index));
         else
             out() << ' ' << index;
     }