diff --git a/replay/replay-internal.h b/replay/replay-internal.h
index 97649ed8d77b0d8785f498c5ae4a26596764e402..b4238226f47b0766df0863235bc2cce69574246f 100644
--- a/replay/replay-internal.h
+++ b/replay/replay-internal.h
@@ -141,7 +141,7 @@ bool replay_next_event_is(int event);
 /*! Reads next clock value from the file.
     If clock kind read from the file is different from the parameter,
     the value is not used. */
-void replay_read_next_clock(unsigned int kind);
+void replay_read_next_clock(ReplayClockKind kind);
 
 /* Asynchronous events queue */