From 0fccd846e64fea63c7eb3a8288517f00a668fa2e Mon Sep 17 00:00:00 2001
From: jean-pierre charras <jp.charras@wanadoo.fr>
Date: Thu, 7 Aug 2025 15:29:43 +0200
Subject: [PATCH] Fix missing include.

---
 include/property_holder.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/property_holder.h b/include/property_holder.h
index 182fea10b2..7d876a4e25 100644
--- a/include/property_holder.h
+++ b/include/property_holder.h
@@ -30,6 +30,7 @@
 #include <type_traits>
 #include <optional>
 #include <concepts>
+#include <cstdint>
 
 
 /**