From 56d444b9faa76bcbaaa9a47380ecab7e089bf32c Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 18 Jan 2021 18:20:53 +0100
Subject: [PATCH] [aorai] remove unused function
---
src/plugins/aorai/data_for_aorai.ml | 3 ---
src/plugins/aorai/data_for_aorai.mli | 3 ---
2 files changed, 6 deletions(-)
diff --git a/src/plugins/aorai/data_for_aorai.ml b/src/plugins/aorai/data_for_aorai.ml
index b3da1ce5c06..70b4551cbd7 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 3478573a06b..603579cd90d 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
--
GitLab