From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 23 Feb 2023 20:18:18 +0000 (+0100)
Subject: Comment out unused private fields (fix compilation error).
X-Git-Tag: v3.34~461
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d5c0f9afed00587bde92396d3eee38014e5b7be1

Comment out unused private fields (fix compilation error).
---

diff --git a/src/mc/explo/UdporChecker.hpp b/src/mc/explo/UdporChecker.hpp
index e63802bb38..7f56d6d3d5 100644
--- a/src/mc/explo/UdporChecker.hpp
+++ b/src/mc/explo/UdporChecker.hpp
@@ -44,8 +44,10 @@ private:
   /**
    * The total number of events created whilst exploring the unfolding
    */
-  uint32_t nb_events = 0;
-  uint32_t nb_traces = 0;
+  /* FIXME: private fields are not used
+    uint32_t nb_events = 0;
+    uint32_t nb_traces = 0;
+  */
 
   /**
    * @brief The "relevant" portions of the unfolding that must be kept around to ensure that