fix dist

[simgrid.git] / src / mc / mc_replay.h

diff --git a/src/mc/mc_replay.h b/src/mc/mc_replay.h
index f9324c8..ad7a98d 100644 (file)
--- a/src/mc/mc_replay.h
+++ b/src/mc/mc_replay.h
@@ -18,7 +18,7 @@ SG_BEGIN_DECL()
 XBT_PUBLIC_DATA(char*) MC_record_path;
 
 /** Whether the replay mode is enabled */
-static inline int MC_record_replay_is_active(void) {
+static inline int MC_record_replay_is_active() {
   return MC_record_path != 0;
 }