From 2caef49a1b97452286c0cf06af8c08cff1ca9582 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 12 Apr 2022 13:23:00 +0200
Subject: [PATCH] Fix doc for function verify.
---
src/verification.mli | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/verification.mli b/src/verification.mli
index e8b91c22..117f64ca 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.
--
GitLab