diff --git a/src/plugins/value/utils/eva_annotations.ml b/src/plugins/value/utils/eva_annotations.ml
index 4d019227478173c5b065bb8e790352995077892b..dc30dd8f0fc57ced447cf030bb9850ed080d91c6 100644
--- a/src/plugins/value/utils/eva_annotations.ml
+++ b/src/plugins/value/utils/eva_annotations.ml
@@ -100,7 +100,7 @@ struct
   let add ~emitter ~loc stmt annot =
     let param = M.export annot in
     let extension = Logic_const.new_acsl_extension name loc false param in
-    let annot_node = Cil_types.AExtended ([], false, extension) in
+    let annot_node = Cil_types.AExtended ([], is_loop_annot, extension) in
     let code_annotation = Logic_const.new_code_annotation annot_node in
     Annotations.add_code_annot emitter stmt code_annotation
 end