diff --git a/src/plugins/e-acsl/src/libraries/error.ml b/src/plugins/e-acsl/src/libraries/error.ml
index 6293096f839786cc180abde533f17be0954c8c60..fb6b3ad87097385595e7318fbcc3097cb399a1b3 100644
--- a/src/plugins/e-acsl/src/libraries/error.ml
+++ b/src/plugins/e-acsl/src/libraries/error.ml
@@ -22,9 +22,6 @@
 
 open Error_types
 
-exception Ignored
-let ignored () = raise Ignored
-
 exception Typing_error of string
 let untypable s = raise (Typing_error s)
 
@@ -75,7 +72,6 @@ let generic_handle f res x =
   | Not_yet s ->
     print_not_yet s;
     res
-  | Ignored -> res
 
 let handle f x = generic_handle f x x
 
diff --git a/src/plugins/e-acsl/src/libraries/error.mli b/src/plugins/e-acsl/src/libraries/error.mli
index 9d35c516a3367e36ba4ffd9f57adea69ac1cd405..60e8dd1f3399af281119207bd9d6ef0fc60cdd14 100644
--- a/src/plugins/e-acsl/src/libraries/error.mli
+++ b/src/plugins/e-acsl/src/libraries/error.mli
@@ -23,7 +23,6 @@
 (** Handling errors. *)
 open Error_types
 
-exception Ignored
 exception Typing_error of string
 exception Not_yet of string
 exception Not_memoized
@@ -34,9 +33,6 @@ val untypable: string -> 'a
 val not_yet: string -> 'a
 (** Not_yet_implemented error built from the given argument. *)
 
-val ignored: unit -> 'a
-(** Statement already signaled and marked as ignored *)
-
 val not_memoized : unit -> 'a
 (** @raise Not_memoized  when asking the preprocessed form of something that
     was not preprocessed *)