diff --git a/src/plugins/aorai/data_for_aorai.ml b/src/plugins/aorai/data_for_aorai.ml
index b3da1ce5c066f68ccc4f69d913f4d298f9cf5db8..70b4551cbd7129151e00f6d82de24335732d07a5 100644
--- a/src/plugins/aorai/data_for_aorai.ml
+++ b/src/plugins/aorai/data_for_aorai.ml
@@ -1640,9 +1640,6 @@ let setCData () =
   defined_functions := f_def;
   ignored_functions := f_decl
 
-let addIgnoredFunction kf =
-  ignored_functions := kf :: !ignored_functions
-
 (** Return true if and only if the given string fname denotes an ignored function. *)
 let isIgnoredFunction kf =
   List.exists (Kernel_function.equal kf) !ignored_functions
diff --git a/src/plugins/aorai/data_for_aorai.mli b/src/plugins/aorai/data_for_aorai.mli
index 3478573a06bd31f5b96b138520f9cc005d737447..603579cd90dee7ec2ec2115ceea99542fb9fea5d 100644
--- a/src/plugins/aorai/data_for_aorai.mli
+++ b/src/plugins/aorai/data_for_aorai.mli
@@ -227,9 +227,6 @@ val getObservablesFunctions : unit -> Cil_types.kernel_function list
     is unavailable. *)
 val getIgnoredFunctions : unit -> Cil_types.kernel_function list
 
-(** Add a function to the list of ignored functions. *)
-val addIgnoredFunction : Cil_types.kernel_function -> unit
-
 (** Return true if and only if the given string fname denotes an ignored function. *)
 val isIgnoredFunction : Cil_types.kernel_function -> bool