diff --git a/src/plugins/e-acsl/src/libraries/error.mli b/src/plugins/e-acsl/src/libraries/error.mli
index c81f1dede9c0f83820d963bd4701b6a093b52998..b36dd277dcfd93e3a7e86827356b7fc46cd740c3 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. *)