Skip to content
Snippets Groups Projects
Commit c3a97b1e authored by Jan Rochel's avatar Jan Rochel
Browse files

[e-acsl] Injector: add missing dkey to debug message

parent 57aa01bb
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/src/code_generator/injector.ml
+ 1
− 1
View file @ c3a97b1e
...@@ -315,7 +315,7 @@ let add_new_block_in_stmt env kf stmt = ...@@ -315,7 +315,7 @@ let add_new_block_in_stmt env kf stmt =
let res = Smart_stmt.block new_stmt post_block in let res = Smart_stmt.block new_stmt post_block in
res, env res, env
in 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 (from sid %d):@ %a@]" stmt.sid Printer.pp_stmt new_stmt;
new_stmt, env new_stmt, env
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment