finish the conversion of public MACRO names, in the cmake infrastructure

[simgrid.git] / include / simgrid / modelchecker.h

diff --git a/include/simgrid/modelchecker.h b/include/simgrid/modelchecker.h
index 9a198ec..0b920bb 100644 (file)
--- a/include/simgrid/modelchecker.h
+++ b/include/simgrid/modelchecker.h
@@ -16,6 +16,7 @@
 #define SIMGRID_MODELCHECKER_H
 
 #include <stdbool.h>
+#include <stddef.h> /* size_t */
 
 #include <simgrid_config.h> /* SIMGRID_HAVE_MC ? */