diff --git a/src/plugins/eva/utils/eval_typ.ml b/src/plugins/eva/utils/eval_typ.ml
index 8b12eff33519677727bb594b369962c97940591b..1cc53588178d9592d24c62a473009653a9c8d9eb 100644
--- a/src/plugins/eva/utils/eval_typ.ml
+++ b/src/plugins/eva/utils/eval_typ.ml
@@ -23,14 +23,6 @@
 open Cil_types
 open Cvalue
 
-let is_bitfield typlv =
-  match Cil.unrollType typlv with
-  | TInt (_, attrs) | TEnum (_, attrs) ->
-    (match Cil.findAttribute Cil.bitfield_attribute_name attrs with
-     | [AInt _] -> true
-     | _ -> false)
-  | _ -> false
-
 let bitfield_size_attributes attrs =
   match Cil.findAttribute Cil.bitfield_attribute_name attrs with
   | [AInt size] -> Some size
diff --git a/src/plugins/eva/utils/eval_typ.mli b/src/plugins/eva/utils/eval_typ.mli
index 9a62832b61803c19865f9bc96a4bac4eb3317102..94bac41196b043ad9435469af54feef1adf97140 100644
--- a/src/plugins/eva/utils/eval_typ.mli
+++ b/src/plugins/eva/utils/eval_typ.mli
@@ -24,9 +24,6 @@ open Cil_types
 
 (** Functions related to type conversions *)
 
-(** Bitfields *)
-val is_bitfield: typ -> bool
-
 val sizeof_lval_typ: typ -> Int_Base.t
 (** Size of the type of a lval, taking into account that the lval might have
     been a bitfield. *)