From 26b9b7a6a60ea1eae016e7f178f8fb4150b16228 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 12 Apr 2022 11:14:53 +0000
Subject: [PATCH] [Eva] Fixes a comment typo.
---
src/plugins/value/engine/analysis.mli | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/value/engine/analysis.mli b/src/plugins/value/engine/analysis.mli
index bfaa372cc3a..c4fb144b74a 100644
--- a/src/plugins/value/engine/analysis.mli
+++ b/src/plugins/value/engine/analysis.mli
@@ -123,7 +123,7 @@ type results =
(* Analysis status of a function. *)
type status =
| Unreachable
- (** The function has not been reached by the analysis. Any request in thi
+ (** The function has not been reached by the analysis. Any request in this
function will lead to a Bottom result. *)
| SpecUsed
(** The function specification has been used to interpret its calls:
--
GitLab