From a0d609b4d728c8497089c177dfbbd4054974339c Mon Sep 17 00:00:00 2001
From: Alberto Miranda <alberto.miranda@bsc.es>
Date: Mon, 27 Feb 2023 11:37:47 +0100
Subject: [PATCH] Remove use of GCC-specific header

---
 src/common/abt_cxx/shared_mutex.hpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/common/abt_cxx/shared_mutex.hpp b/src/common/abt_cxx/shared_mutex.hpp
index 1ec4b230..5cf76178 100644
--- a/src/common/abt_cxx/shared_mutex.hpp
+++ b/src/common/abt_cxx/shared_mutex.hpp
@@ -25,7 +25,6 @@
 #include <cassert>
 #include <abt.h>
 #include <fmt/format.h>
-#include <bits/functexcept.h>
 
 #ifndef SCORD_ABT_SHARED_MUTEX_HPP
 #define SCORD_ABT_SHARED_MUTEX_HPP
-- 
GitLab