diff --git a/Cargo.toml b/Cargo.toml
index 485c2efd44f0dfede78e90430d9a6db89f87d172..fa1ddd10dcc61dc304223cc8e938ec9f635bff77 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -6,12 +6,10 @@ license = "MIT OR Apache-2.0"
 name = "stm32f413"
 version = "0.3.0"
 
-
 [patch.crates-io]
-volatile-register = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git", branch = "klee-analysis" }
-#volatile-register = { path = "../../klee/volatile-register/" }
+vcell = { git = "https://github.com/perlindgren/vcell.git" }
+volatile-register = { git = "https://github.com/perlindgren/volatile-register.git" }
 cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee-analysis" }
-#cortex-m = { path = "../../cortex-m" }
 
 [dependencies]
 bare-metal = "0.2.4"
@@ -24,11 +22,6 @@ version = "0.6.0"
 optional = true
 version = "0.6.5"
 
-#[dependencies.klee]
-#optional = true
-#path = "../."
-##version = "0.6.5"
-
 [features]
 rt = ["cortex-m-rt/device"]
 klee-analysis = ["cortex-m/klee-analysis", "vcell/klee-analysis"]
\ No newline at end of file