Remove StateManager

[simgrid.git] / MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index 0863de7..1decdf0 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -2216,8 +2216,6 @@ include src/mc/explo/udpor/Configuration.hpp
 include src/mc/explo/udpor/Configuration.cpp
 include src/mc/explo/udpor/EventSet.cpp
 include src/mc/explo/udpor/EventSet.hpp
-include src/mc/explo/udpor/StateManager.cpp
-include src/mc/explo/udpor/StateManager.hpp
 include src/mc/explo/udpor/UnfoldingEvent.cpp
 include src/mc/explo/udpor/UnfoldingEvent.hpp
 include src/mc/explo/udpor/Unfolding.cpp