From 3a161f3d569713581126a41c5d41d9695f2d5a1c Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Fri, 28 Dec 2018 23:50:49 +0100
Subject: [PATCH] klee-examples/Cargo.toml
---
klee-examples/Cargo.toml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index 2adcae5..ae13182 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -15,9 +15,8 @@ version = "0.6.0"
[patch.crates-io]
vcell = { git = "https://github.com/perlindgren/vcell.git" }
-#vcell = { path = "../../vcell" }
#volatile-register = { git = "https://github.com/perlindgren/volatile-register.git" }
-volatile-register = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git", branch = "klee-analysis" }
+volatile-register = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git" }
#volatile-register = { path = "../../klee/volatile-register/" }
cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee-analysis" }
--
GitLab