From ffc5541ce786c3da14fba14f2fb2f870e39efd92 Mon Sep 17 00:00:00 2001
From: Andreas Fabri <andreas.fabri@geometryfactory.com>
Date: Mon, 13 May 2024 10:50:50 +0100
Subject: [PATCH] CGAL_USE

---
 STL_Extension/include/CGAL/Compact_container.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/STL_Extension/include/CGAL/Compact_container.h b/STL_Extension/include/CGAL/Compact_container.h
index 6664de00762..37aed0e6542 100644
--- a/STL_Extension/include/CGAL/Compact_container.h
+++ b/STL_Extension/include/CGAL/Compact_container.h
@@ -27,6 +27,7 @@
 #include <functional>
 #include <atomic>
 
+#include <CGAL/use.h>
 #include <CGAL/memory.h>
 #include <CGAL/iterator.h>
 #include <CGAL/CC_safe_handle.h>
@@ -383,6 +384,7 @@ public:
     pointer ret = free_list;
     free_list = clean_pointee(ret);
     std::size_t ts;
+    CGAL_USE(ts);
     if constexpr (Time_stamper::has_timestamp) {
       ts = ret->time_stamp();
     }