diff --git a/src/kani-compiler/Cargo.toml b/src/kani-compiler/Cargo.toml
index f5da7af65c0c..c698c5f6b50c 100644
--- a/src/kani-compiler/Cargo.toml
+++ b/src/kani-compiler/Cargo.toml
@@ -24,7 +24,7 @@ serde_json = { version = "1", optional = true }
 shell-words = "1.0.0"
 smallvec = { version = "1.6.1", features = ["union", "may_dangle"], optional = true }
 snap = { version = "1", optional = true }
-tracing = {version = "0.1", features = ["max_level_trace", "release_max_level_info"]}
+tracing = {version = "0.1", features = ["max_level_trace", "release_max_level_debug"]}
 tracing-subscriber = {version = "0.3.8", features = ["env-filter", "json", "fmt"]}
 tracing-tree = "0.2.0"