From acc52b4142ea621e9c461ef20f32724c3395b452 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 21 Apr 2023 17:37:17 +0200
Subject: [PATCH] [kernel] doc typos
---
src/kernel_services/ast_data/annotations.mli | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_data/annotations.mli b/src/kernel_services/ast_data/annotations.mli
index 6f1ae71fa54..8c01a828f6c 100644
--- a/src/kernel_services/ast_data/annotations.mli
+++ b/src/kernel_services/ast_data/annotations.mli
@@ -31,7 +31,7 @@ open Cil_types
(**************************************************************************)
val add_hook_on_change: (unit -> unit) -> unit
-(** Emitted whenever anhy of the annotation tables are modified.
+(** Emitted whenever any of the annotation tables is modified.
@since Frama-C+dev *)
(**************************************************************************)
--
GitLab