diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index 2adcae5a9b5628bbc41e01211e2e3c34ebc79862..ae13182f5bad5a474b8d2f507fe0aa8190daea94 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" }