[aorai] remove unused function

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

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