From 9c70fcbc8e64a46a1864306dc179021cf6af3b55 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 2 Apr 2019 16:57:50 +0200
Subject: [PATCH] [rte] typos
---
src/plugins/rte/options.ml | 2 +-
tests/rte/bool.i | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/rte/options.ml b/src/plugins/rte/options.ml
index 5d780169596..fb4af071484 100644
--- a/src/plugins/rte/options.ml
+++ b/src/plugins/rte/options.ml
@@ -98,7 +98,7 @@ module Trivial =
False
(struct
let option_name = "-rte-trivial-annotations"
- let help = "generate all annotations even when they trivially hold \
+ let help = "generate all annotations even if they trivially hold \
(from evaluation of constant expressions, syntactical rules...)"
(* if on, evaluates constants in order to check if assertions
are trivially true / false *)
diff --git a/tests/rte/bool.i b/tests/rte/bool.i
index 070a9fbcaf8..4c0f20d8595 100644
--- a/tests/rte/bool.i
+++ b/tests/rte/bool.i
@@ -2,7 +2,7 @@
OPT: -warn-invalid-bool -rte -print -then -rte-trivial-annotations -rte -print
*/
-/* The test asks for two execution of RTE plug-in:
+/* The test asks for two executions of RTE plug-in:
- a first one without trivial annotations (default behavior)
- a second one with trivial annotations (-rte-trivial-annotations)
*/
--
GitLab