From 1fbb7ff20856e4ddcd6e60508ee921751ed9244e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 17 Jan 2023 14:04:18 +0100
Subject: [PATCH] [kernel] Property_status: fixes a typo in the interface
documentation.
---
src/kernel_services/ast_data/property_status.mli | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_services/ast_data/property_status.mli b/src/kernel_services/ast_data/property_status.mli
index a16f5bcbfb5..da4c9deb197 100644
--- a/src/kernel_services/ast_data/property_status.mli
+++ b/src/kernel_services/ast_data/property_status.mli
@@ -263,7 +263,7 @@ val register: Property.t -> unit
(** Register the given property. It must not be already registered. *)
val register_property_add_hook: (Property.t -> unit) -> unit
-(** add an hook that will be called for any newly registered property
+(** Add an hook that will be called for any newly registered property
@since Neon-20140301 *)
val remove: Property.t -> unit
@@ -271,7 +271,7 @@ val remove: Property.t -> unit
corresponding annotation. *)
val register_property_remove_hook: (Property.t -> unit) -> unit
-(** Add and hook that will be called each time a property is removed.
+(** Add an hook that will be called each time a property is removed.
@since Neon-20140301 *)
val merge: old:Property.t list -> Property.t list -> unit
--
GitLab