From ee8882e603388f4a544884cebd890b0fe4097198 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 11 May 2022 17:28:24 +0200
Subject: [PATCH] [kernel] fix some @raise
---
src/kernel_services/cmdline_parameters/cmdline.mli | 2 +-
src/libraries/project/state_builder.mli | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_services/cmdline_parameters/cmdline.mli b/src/kernel_services/cmdline_parameters/cmdline.mli
index 572ee38ca02..b30852478e3 100644
--- a/src/kernel_services/cmdline_parameters/cmdline.mli
+++ b/src/kernel_services/cmdline_parameters/cmdline.mli
@@ -309,7 +309,7 @@ val add_aliases:
option name [orig].
If [visible] is set to false, the aliases do not appear in help messages.
If [deprecated] is set to true, the use of the aliases emits a warning.
- @Invalid_argument if an alias name is the empty string
+ @raise Invalid_argument if an alias name is the empty string
@since Carbon-20110201
@before 22.0-Titanium no [visible] and [deprecated] arguments. *)
diff --git a/src/libraries/project/state_builder.mli b/src/libraries/project/state_builder.mli
index 15b0fe12ff2..94f4dc217b4 100644
--- a/src/libraries/project/state_builder.mli
+++ b/src/libraries/project/state_builder.mli
@@ -236,7 +236,7 @@ module type Weak_hashtbl = sig
val find: data -> data
(** [find x] returns an instance of [x] found in table.
- @Raise Not_found if there is no such element.
+ @raise Not_found if there is no such element.
@since Boron-20100401 *)
val find_all: data -> data list
--
GitLab