[mc] Remove mc_stats.state_size (not used)

[simgrid.git] / src / mc / ModelChecker.cpp

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 670f719..9aaffdd 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -113,7 +113,6 @@ void ModelChecker::start()
 
   /* Initialize statistics */
   mc_stats = xbt_new0(s_mc_stats_t, 1);
-  mc_stats->state_size = 1;
 
   if ((_sg_mc_dot_output_file != nullptr) && (_sg_mc_dot_output_file[0] != '\0'))
     MC_init_dot_output();