cortex-m-rt not yet updated

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