diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index 2418d2b02770b72c3a6f3a4f625459da8a2d2402..e9739285f236920e75fb0f1ea7e05acc6cdcb064 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"