Correct MANIFEST.in according to `make distcheck`

diff --git a/MANIFEST.in b/MANIFEST.in
index add0e16..c4b443b 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -2163,14 +2163,14 @@ include src/mc/explo/udpor/EventSet_test.cpp
 include src/mc/explo/udpor/History.cpp
 include src/mc/explo/udpor/History.hpp
 include src/mc/explo/udpor/History_test.cpp
-include src/mc/explo/udpor/maximal_subsets_iterator.cpp
-include src/mc/explo/udpor/maximal_subsets_iterator.hpp
 include src/mc/explo/udpor/Unfolding.cpp
 include src/mc/explo/udpor/Unfolding.hpp
 include src/mc/explo/udpor/UnfoldingEvent.cpp
 include src/mc/explo/udpor/UnfoldingEvent.hpp
 include src/mc/explo/udpor/UnfoldingEvent_test.cpp
 include src/mc/explo/udpor/Unfolding_test.cpp
+include src/mc/explo/udpor/maximal_subsets_iterator.cpp
+include src/mc/explo/udpor/maximal_subsets_iterator.hpp
 include src/mc/explo/udpor/udpor_forward.hpp
 include src/mc/inspect/DwarfExpression.cpp
 include src/mc/inspect/DwarfExpression.hpp