diff --git a/src/plugins/e-acsl/src/code_generator/injector.ml b/src/plugins/e-acsl/src/code_generator/injector.ml
index 49f1da4d1c25f2bacb000c77510c3eaef337784e..020e915946b61586f8c2aa4e286b06c7eeb2c7c5 100644
--- a/src/plugins/e-acsl/src/code_generator/injector.ml
+++ b/src/plugins/e-acsl/src/code_generator/injector.ml
@@ -315,7 +315,7 @@ let add_new_block_in_stmt env kf stmt =
       let res = Smart_stmt.block new_stmt post_block in
       res, env
   in
-  Options.debug ~level:4
+  Options.debug ~dkey ~level:4
     "@[new stmt (from sid %d):@ %a@]" stmt.sid Printer.pp_stmt new_stmt;
   new_stmt, env