klee-examples/Cargo.toml

d2c7a71c · Per Lindgren · 3a161f3d · d2c7a71c
Commit d2c7a71c authored 6 years ago by Per Lindgren
--- 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"