model-checker : remove unused argument in functions for heap comparison algorithm

[simgrid.git] / src / simix / smx_private.h

diff --git a/src/simix/smx_private.h b/src/simix/smx_private.h
index a50b31f..4d25f01 100644 (file)
--- a/src/simix/smx_private.h
+++ b/src/simix/smx_private.h
@@ -140,7 +140,7 @@ typedef struct s_smx_action {
       void *dst_buff;
       size_t src_buff_size;
       size_t *dst_buff_size;
-      unsigned int copied:1;          /* whether the data were already copied */
+      unsigned copied:1;              /* whether the data were already copied */
 
       void* src_data;                 /* User data associated to communication */
       void* dst_data;