use git instead of path

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"