From c3a97b1ee35593b07c5708645dc164a78c2f4704 Mon Sep 17 00:00:00 2001
From: Jan Rochel <jan.rochel@cea.fr>
Date: Tue, 5 Sep 2023 12:41:53 +0200
Subject: [PATCH] [e-acsl] Injector: add missing dkey to debug message
---
src/plugins/e-acsl/src/code_generator/injector.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/src/code_generator/injector.ml b/src/plugins/e-acsl/src/code_generator/injector.ml
index 49f1da4d1c2..020e915946b 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
--
GitLab