From 971c99d7a8f442d2690aa22b48bcda640f722113 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 27 Jun 2022 11:36:19 +0200
Subject: [PATCH] Distcheck!

---
 tools/cmake/DefinePackages.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 66fd9c8c6a..2fbe5397fb 100644
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -737,6 +737,7 @@ set(headers_to_install
   include/smpi/forward.hpp
   include/xbt.h
   include/xbt/asserts.h
+  include/xbt/asserts.hpp
   include/xbt/automaton.h
   include/xbt/automaton.hpp
   include/xbt/backtrace.hpp
-- 
2.20.1