From 0c8f0693fbf2aa3ee26ad09d8f48e03099d7b311 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Fri, 5 Apr 2024 13:57:09 +0200
Subject: [PATCH] add a missing #include for LEDA

---
 LEDA/include/CGAL/LEDA_basic.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/LEDA/include/CGAL/LEDA_basic.h b/LEDA/include/CGAL/LEDA_basic.h
index 5dc01566024..6c05c14c58d 100644
--- a/LEDA/include/CGAL/LEDA_basic.h
+++ b/LEDA/include/CGAL/LEDA_basic.h
@@ -25,6 +25,7 @@
 // The following is needed for LEDA 4.4 due to min/max problems...
 #  define LEDA_NO_MIN_MAX_TEMPL
 
+#include <fstream> // as a workaround for a missing include in <LEDA/internal/PREAMBLE.h>
 #include <LEDA/system/basic.h>
 
 #ifdef LEDA_NAMESPACE