diff --git a/src/plugins/value/engine/analysis.mli b/src/plugins/value/engine/analysis.mli
index bfaa372cc3a3d10a39654f9e43ba479ed873b12a..c4fb144b74af003e291d8b1ef2e296308c065e90 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: