From 9604db7c1e983ea4233ab1999bfbe5c1bc64d5d1 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 27 Apr 2023 11:26:20 +0200
Subject: [PATCH 1/1] Fix build error: exception specification of explicitly
 defaulted move constructor does not match the calculated one.

---
 src/mc/explo/udpor/maximal_subsets_iterator.hpp | 1 -
 src/xbt/utils/iter/powerset.hpp                 | 4 ----
 2 files changed, 5 deletions(-)

diff --git a/src/mc/explo/udpor/maximal_subsets_iterator.hpp b/src/mc/explo/udpor/maximal_subsets_iterator.hpp
index 9f6b473091..542868b19f 100644
--- a/src/mc/explo/udpor/maximal_subsets_iterator.hpp
+++ b/src/mc/explo/udpor/maximal_subsets_iterator.hpp
@@ -39,7 +39,6 @@ public:
   using topological_order_position = std::vector<const UnfoldingEvent*>::const_iterator;
 
   maximal_subsets_iterator()                                    = default;
-  maximal_subsets_iterator(maximal_subsets_iterator&&) noexcept = default;
   explicit maximal_subsets_iterator(const Configuration& config,
                                     std::optional<node_filter_function> filter = std::nullopt,
                                     std::optional<size_t> maximum_subset_size  = std::nullopt)
diff --git a/src/xbt/utils/iter/powerset.hpp b/src/xbt/utils/iter/powerset.hpp
index 11879a4ea5..d7b2cdf3f5 100644
--- a/src/xbt/utils/iter/powerset.hpp
+++ b/src/xbt/utils/iter/powerset.hpp
@@ -30,10 +30,6 @@ template <class Iterator>
 struct powerset_iterator : public boost::iterator_facade<powerset_iterator<Iterator>, const std::vector<Iterator>,
                                                          boost::forward_traversal_tag> {
   powerset_iterator()                                                                 = default;
-  powerset_iterator(powerset_iterator<Iterator>&) noexcept                            = default;
-  powerset_iterator(powerset_iterator<Iterator>&&) noexcept                           = default;
-  powerset_iterator<Iterator>& operator=(powerset_iterator<Iterator>&&) noexcept      = default;
-  powerset_iterator<Iterator>& operator=(const powerset_iterator<Iterator>&) noexcept = default;
   explicit powerset_iterator(Iterator begin, Iterator end = Iterator());
 
 private:
-- 
2.20.1