From f7b28309bec6f6c86f6d8cfd82dd6af7d195579e Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 21 Jan 2021 09:34:23 +0100
Subject: [PATCH] [eva] Fix two typos in help messages.
---
src/plugins/value/value_parameters.ml | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index 1446dd8d796..3e8946d373b 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -725,7 +725,7 @@ module SlevelMergeAfterLoop =
let arg_name = "f | @all"
let help =
"When set, the different execution paths that originate from the body \
- of a loop are merged before entering the next excution."
+ of a loop are merged before entering the next execution."
end)
let () = add_precision_dep SlevelMergeAfterLoop.parameter
@@ -1077,7 +1077,8 @@ module ShowSlevel =
let option_name = "-eva-show-slevel"
let default = 100
let arg_name = "n"
- let help = "Period for showing consumption of the alloted slevel during analysis"
+ let help = "Period for showing consumption of the allotted slevel during \
+ analysis"
end)
let () = ShowSlevel.set_range ~min:1 ~max:max_int
--
GitLab