From d0cb013d1f33490b2d4ceacaeaade9f7d40ae00b Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 31 Jan 2023 11:25:57 +0100
Subject: [PATCH] [verification] Fix typo in error message.
---
src/verification.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/verification.ml b/src/verification.ml
index a503536..d91151d 100644
--- a/src/verification.ml
+++ b/src/verification.ml
@@ -108,7 +108,7 @@ let answer_saver limit config env config_prover dataset task =
then filename
else
invalid_arg
- (Fmt.str "File '%s' has an unsupported extension" filename)
+ (Fmt.str "File '%s' has an unsupported extension" filename)
in
Dataset.interpret_predicate env ~on_model ~on_dataset task
in
--
GitLab