Comment out unused private fields (fix compilation error).

diff --git a/src/mc/explo/UdporChecker.hpp b/src/mc/explo/UdporChecker.hpp
index e63802b..7f56d6d 100644 (file)
--- 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