X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a53f7d4cc60063804afca1625eae861fb890b3c5..c4cb92bbcc9633702ea82169a57e6d14119a0e5b:/src/mc/LivenessChecker.hpp

diff --git a/src/mc/LivenessChecker.hpp b/src/mc/LivenessChecker.hpp
index 6175f02e34..6f0cbff564 100644
--- a/src/mc/LivenessChecker.hpp
+++ b/src/mc/LivenessChecker.hpp
@@ -85,7 +85,7 @@ private:
 public: // (non-static wannabe) fields
   static std::list<VisitedPair*> acceptance_pairs;
   static std::list<Pair*> liveness_stack;
-  static xbt_dynar_t visited_pairs;
+  static std::list<VisitedPair*> visited_pairs;
 };
 
 }