diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index 538cf2aac18674f5470d67f8798eb266fa58d3c1..9805201cf1dc974dc5dfab8c76f28716cdee61be 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -4,18 +4,20 @@ version = "0.2.0"
 authors = ["Per Lindgren <per.lindgren@ltu.se>, Jorge Aparicio <jorge@japaric.io>"]
 
 [dependencies]
-klee = {path=".."}
+klee = {git ="https://gitlab.henriktjader.com/pln/cargo-klee"}
 #panic-abort = "0.3.1"
 
-# tmp disable
-# [dependencies.volatile-register]
-# #branch = "klee-analysis"
-# version = "0.3.0"
-# features = ["klee-analysis"]
 
-# [patch.crates-io]
+[dependencies.volatile-register]
+version = "0.3.0"
+git =  "https://gitlab.henriktjader.com/pln/volatile-register.git" 
+branch = "klee-analysis"
+#features = ["klee-analysis"]
+#path = "../../klee/volatile-register/" 
+
 # #[replace]
-# "volatile-register" = { path = "../../klee/volatile-register/" }
+# [patch.crates-io]
+# "volatile-register" = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git", branch = "klee-analysis" }
 
 # [dependencies.cortex-m]
 # version = "0.6.0"