From 2e0a34721839edca9dcbaeb40d3b440da8db0a09 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 18 May 2022 11:52:38 +0000
Subject: [PATCH] [doc] Fix few typos
---
src/kernel_services/abstract_interp/lattice_type.mli | 2 +-
src/kernel_services/ast_queries/cil.mli | 4 +++-
src/plugins/gui/gtk_helper.mli | 2 +-
3 files changed, 5 insertions(+), 3 deletions(-)
diff --git a/src/kernel_services/abstract_interp/lattice_type.mli b/src/kernel_services/abstract_interp/lattice_type.mli
index d27e7d8f08a..f5e0608d520 100644
--- a/src/kernel_services/abstract_interp/lattice_type.mli
+++ b/src/kernel_services/abstract_interp/lattice_type.mli
@@ -73,7 +73,7 @@ end
Conversely, some functions, suffixed by [_under] assumes that their arguments
are under-approximations, and returns a result that under-approximates the
concrete operation. The functions [link] and [meet] in
- {! With_Under_Approximation} are exceptions, that are not suffixed by [_under].
+ {!With_Under_Approximation} are exceptions, that are not suffixed by [_under].
Finally, some functions are *exact*, in the sense that they preserve the
concretization of the concrete function. Hence, they implement
diff --git a/src/kernel_services/ast_queries/cil.mli b/src/kernel_services/ast_queries/cil.mli
index 7365c180915..8d9862535ae 100644
--- a/src/kernel_services/ast_queries/cil.mli
+++ b/src/kernel_services/ast_queries/cil.mli
@@ -2043,7 +2043,9 @@ val is_empty_funspec: funspec -> bool
val is_empty_behavior: funbehavior -> bool
(* ************************************************************************* *)
-(** {2 ALPHA conversion has been moved to the Alpha module} *)
+(** {2 Renaming} *)
+
+(** See also the {!Alpha} module for other renaming operations. *)
(* ************************************************************************* *)
(** Assign unique names to local variables. This might be necessary after you
diff --git a/src/plugins/gui/gtk_helper.mli b/src/plugins/gui/gtk_helper.mli
index 1a17976e9ed..5c225e6121c 100644
--- a/src/plugins/gui/gtk_helper.mli
+++ b/src/plugins/gui/gtk_helper.mli
@@ -98,7 +98,7 @@ module Configuration: sig
(** Sets a ConfigInt *)
val find_bool : ?default:bool -> string -> bool
- (** Same as {! find_int}. *)
+ (** Same as {!find_int}. *)
val use_bool: string -> (bool -> unit) -> unit
(** Same as {!use_int}. *)
--
GitLab