diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index 81189e5a19013ca4f3ff20a62e3c22502bd08878..2adcae5a9b5628bbc41e01211e2e3c34ebc79862 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -4,8 +4,8 @@ version = "0.2.0"
 authors = ["Per Lindgren <per.lindgren@ltu.se>", "Jorge Aparicio <jorge@japaric.io>"]
 
 [dependencies]
-#klee = {git ="https://gitlab.henriktjader.com/pln/cargo-klee"}
-klee = {path =".."}
+klee = {git ="https://gitlab.henriktjader.com/pln/cargo-klee"}
+#klee = {path =".."}
 panic-abort = "0.3.1"