diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index ae13182f5bad5a474b8d2f507fe0aa8190daea94..a98a3951add119419e1bbcce6fbad9449e6fcdd0 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -23,10 +23,10 @@ cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee
 [dependencies.volatile-register]
 version = "0.3.0"
 
-[dependencies.stm32f413]
-version = "0.3.0"
-path = "../../klee/stm32f413/"
-optional = true
+# [dependencies.stm32f413]
+# version = "0.3.0"
+# path = "../../klee/stm32f413/"
+# optional = true
 
 [[examples]]
 name = "gpioa"