From 04cda209e55f0feebb745b9aa8d81076ba6ad2a1 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 19 Jan 2022 18:00:36 +0100
Subject: [PATCH] REVUE 3 : doc

---
 src/plugins/e-acsl/src/libraries/error.mli | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/plugins/e-acsl/src/libraries/error.mli b/src/plugins/e-acsl/src/libraries/error.mli
index c81f1dede9c..b36dd277dcf 100644
--- a/src/plugins/e-acsl/src/libraries/error.mli
+++ b/src/plugins/e-acsl/src/libraries/error.mli
@@ -44,13 +44,13 @@ module type S = sig
   (** Make a [Not_memoized] exception with the given message. *)
 
   val untypable: string -> 'a
-  (** @raise Typing_error with the given message. *)
+  (** @raise Typing_error with the given message for the current phase. *)
 
   val not_yet: string -> 'a
-  (** @raise Not_yet with the given message. *)
+  (** @raise Not_yet with the given message for the current phase. *)
 
   val not_memoized: unit -> 'a
-  (** @raise Not_memoized *)
+  (** @raise Not_memoized for the current phase. *)
 
   val print_not_yet: string -> unit
   (** Print the "not yet supported" message without raising an exception. *)
-- 
GitLab