diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index a98a3951add119419e1bbcce6fbad9449e6fcdd0..35110b04423ac6fb5038b1b331a06f65c2333ded 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -15,18 +15,17 @@ version = "0.6.0"
 
 [patch.crates-io]
 vcell = { git = "https://github.com/perlindgren/vcell.git" }
-#volatile-register = { git = "https://github.com/perlindgren/volatile-register.git" }
-volatile-register = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git" }
-#volatile-register = { path = "../../klee/volatile-register/" }
+volatile-register = { git = "https://github.com/perlindgren/volatile-register.git" }
 cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee-analysis" }
 
 [dependencies.volatile-register]
 version = "0.3.0"
 
-# [dependencies.stm32f413]
-# version = "0.3.0"
-# path = "../../klee/stm32f413/"
-# optional = true
+[dependencies.stm32f413]
+version = "0.3.0"
+git = "https://gitlab.henriktjader.com/pln/stm32f413.git"
+branch = "klee-analysis" 
+optional = true
 
 [[examples]]
 name = "gpioa"