From d2c7a71ca795e3965f35e342b973626a2730844a Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Fri, 28 Dec 2018 23:52:48 +0100
Subject: [PATCH] klee-examples/Cargo.toml
---
klee-examples/Cargo.toml | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index ae13182..a98a395 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"
--
GitLab