diff --git a/src/verification.mli b/src/verification.mli
index e8b91c226c9fc091c01cea88541d9469aa19ee5b..117f64ca7ce5370e5d0896b2a06998fe70b3237c 100644
--- a/src/verification.mli
+++ b/src/verification.mli
@@ -13,8 +13,8 @@ val verify :
   Prover.t ->
   string ->
   unit
-(** [verify debug format loadpath memlimit prover file] launches a verification
-    of the given [file] with the provided [prover].
+(** [verify debug format loadpath memlimit timeout prover file] launches a
+    verification of the given [file] with the provided [prover].
 
     @param debug when set, enables debug information.
     @param format is the [file] format.