Remove unused code in Comb.cpp + fix MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index de1d5acf12d3d40244f4fd33eaa792274a240d92..fc181417b0979404501cb27f1744bb2b59d629d0 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -2156,8 +2156,8 @@ include src/mc/explo/LivenessChecker.hpp
 include src/mc/explo/UdporChecker.cpp
 include src/mc/explo/UdporChecker.hpp
 include src/mc/explo/simgrid_mc.cpp
-include src/mc/explo/udpor/Comb.hpp
 include src/mc/explo/udpor/Comb.cpp
+include src/mc/explo/udpor/Comb.hpp
 include src/mc/explo/udpor/Configuration.cpp
 include src/mc/explo/udpor/Configuration.hpp
 include src/mc/explo/udpor/Configuration_test.cpp

diff --git a/src/mc/explo/udpor/Comb.cpp b/src/mc/explo/udpor/Comb.cpp
index 06dd106ee38ea39a841aa7a5299342cbff642371..790efd121c6bbfb34abb12eb4f434e0e9c0f8927 100644 (file)
--- a/src/mc/explo/udpor/Comb.cpp
+++ b/src/mc/explo/udpor/Comb.cpp
@@ -5,14 +5,6 @@
 
 #include "src/mc/explo/udpor/Comb.hpp"
 
-#include <boost/iterator/function_input_iterator.hpp>
-#include <boost/iterator/indirect_iterator.hpp>
-#include <functional>
-
 namespace simgrid::mc::udpor {
 
-// auto Comb::combinations_begin() const {}
-
-// auto Comb::combinations_end() const {}
-
 } // namespace simgrid::mc::udpor
\ No newline at end of file