Add working implementation of maximal_subsets_iterator

[simgrid.git] / src / mc / explo / udpor / History.cpp

diff --git a/src/mc/explo/udpor/History.cpp b/src/mc/explo/udpor/History.cpp
index 313b46458fb2d1541b8101ae001919dcfb6cf4af..d9d43d313304caa3907a37cddfc06ffaac35be50 100644 (file)
--- a/src/mc/explo/udpor/History.cpp
+++ b/src/mc/explo/udpor/History.cpp
@@ -24,7 +24,7 @@ void History::Iterator::increment()
 {
   if (not frontier.empty()) {
     // "Pop" the event at the "front"
-    UnfoldingEvent* e = *frontier.begin();
+    const UnfoldingEvent* e = *frontier.begin();
     frontier.remove(e);
 
     // If there is a configuration and if the
@@ -49,7 +49,7 @@ void History::Iterator::increment()
   }
 }
 
-UnfoldingEvent* const& History::Iterator::dereference() const
+const UnfoldingEvent* const& History::Iterator::dereference() const
 {
   return *frontier.begin();
 }