diff --git a/cargo_klee_examples/Cargo.toml b/cargo_klee_examples/Cargo.toml
index af929d08e149550f36822a70966ab77553af530a..e0d04a04df6483a138cfec8d126665639931bcba 100644
--- a/cargo_klee_examples/Cargo.toml
+++ b/cargo_klee_examples/Cargo.toml
@@ -22,10 +22,6 @@ version = "0.6.1"
 [dependencies]
 vcell = "0.1.2"
 
-[dependencies.cstr_core]
-version = "0.2.2"
-default-features = false
-
 [patch.crates-io]
 cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "trustit" }
 vcell = { git = "https://github.com/perlindgren/vcell.git", branch = "trustit" }