Document more changes, and update the Release Notes

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

diff --git a/src/mc/explo/UdporChecker.cpp b/src/mc/explo/UdporChecker.cpp
index fdd3680134c9d8ff12f88d7e21c4af889c0b2d6e..ff61f17a39202252a94af9b32ef18ea947a2bd2f 100644 (file)
--- a/src/mc/explo/UdporChecker.cpp
+++ b/src/mc/explo/UdporChecker.cpp
@@ -29,7 +29,7 @@ void UdporChecker::run()
 
   // TODO: Move computing the root configuration into a method on the Unfolding
   auto initial_state      = get_current_state();
 
   // TODO: Move computing the root configuration into a method on the Unfolding
   auto initial_state      = get_current_state();

-  auto root_event         = std::make_unique<UnfoldingEvent>(std::make_shared<Transition>(), EventSet());
+  auto root_event         = std::make_unique<UnfoldingEvent>(EventSet(), std::make_shared<Transition>());

   auto* root_event_handle = root_event.get();
   unfolding.insert(std::move(root_event));
   C_root.add_event(root_event_handle);
   auto* root_event_handle = root_event.get();
   unfolding.insert(std::move(root_event));
   C_root.add_event(root_event_handle);