Delete redundant blank lines at the start of a code blocks (CodeFactor).

[simgrid.git] / src / mc / explo / UdporChecker.hpp

diff --git a/src/mc/explo/UdporChecker.hpp b/src/mc/explo/UdporChecker.hpp
index cf89d03d969ae520fd861639ee2744771f447881..6214039ce693b948740919879d6043c51e3b6b11 100644 (file)
--- a/src/mc/explo/UdporChecker.hpp
+++ b/src/mc/explo/UdporChecker.hpp
@@ -124,10 +124,6 @@ private:
 
   EventSet compute_enC(const Configuration& C, const EventSet& exC) const;
 
-  std::optional<EventSet> compute_k_partial_alternative(const EventSet& D, const Configuration& C,
-                                                        const unsigned k) const;
-  std::vector<const UnfoldingEvent*> pick_k_partial_alternative_events(const EventSet& D, const unsigned k) const;
-
   /**
    *
    */