From 097b14d055eb94beaf8c4b6a50efc93d245c925c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Thu, 16 Feb 2023 10:20:31 +0100
Subject: [PATCH] add missing include directive

---
 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..f82c6b68d66 100644
--- a/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
+++ b/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
@@ -25,6 +25,7 @@
 
 #include <boost/cstdint.hpp>
 
+#include <vector>
 #include <cstddef>
 #include <iostream>
 #include <sstream>