diff --git a/src/kernel_services/ast_building/cil_builder.ml b/src/kernel_services/ast_building/cil_builder.ml
index 9a3ee8044d0e720940d45d47cd079b9ab0f1c7cf..f8cfeeba89f724be1c29dc2dce7c7e30fbce3fb0 100644
--- a/src/kernel_services/ast_building/cil_builder.ml
+++ b/src/kernel_services/ast_building/cil_builder.ml
@@ -312,6 +312,7 @@ struct
 
   let of_exp e = `exp (CilExp e)
   let of_exp_copy e = `exp (CilExpCopy e)
+  let of_exp_list l = List.map of_exp l
   let unop op e = `exp (Unop (op, harden_exp e))
   let neg e = unop Cil_types.Neg e
   let lognot e = unop Cil_types.LNot e
diff --git a/src/kernel_services/ast_building/cil_builder.mli b/src/kernel_services/ast_building/cil_builder.mli
index c83207cd1d9587dfff780c343b868d1bbc2e96a9..34f08cbe78b954fbd4a7af84802ff4c7205fd05a 100644
--- a/src/kernel_services/ast_building/cil_builder.mli
+++ b/src/kernel_services/ast_building/cil_builder.mli
@@ -122,6 +122,7 @@ sig
 
   val of_exp : Cil_types.exp -> [> exp]
   val of_exp_copy : Cil_types.exp -> [> exp]
+  val of_exp_list : Cil_types.exp list -> [> exp] list
   val unop : Cil_types.unop -> [< exp] -> [> exp]
   val neg : [< exp] -> [> exp]
   val lognot : [< exp] -> [> exp]
@@ -329,3 +330,4 @@ sig
   val (+=) : [< lval] -> [< exp] -> unit
   val (-=) : [< lval] -> [< exp] -> unit
 end
+