From bdd593e02f56c2be4dc6ba9b399d6be59d0054f7 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Tue, 25 Dec 2018 22:51:20 +0100
Subject: [PATCH] use git instead of path
---
klee-examples/Cargo.toml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index 2418d2b..e973928 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -18,8 +18,8 @@ version = "0.6.0"
[patch.crates-io]
volatile-register = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git", branch = "klee-analysis" }
#volatile-register = { path = "../../klee/volatile-register/" }
-#cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee-analysis" }
-cortex-m = { path = "../../cortex-m" }
+cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee-analysis" }
+#cortex-m = { path = "../../cortex-m" }
# [dependencies.stm32f413]
# version = "0.3.0"
--
GitLab