diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index d5f692dfa426db783b357662fdb88663036f8aed..538cf2aac18674f5470d67f8798eb266fa58d3c1 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -7,14 +7,15 @@ authors = ["Per Lindgren <per.lindgren@ltu.se>, Jorge Aparicio <jorge@japaric.io
 klee = {path=".."}
 #panic-abort = "0.3.1"
 
-[dependencies.volatile-register]
-#branch = "klee-analysis"
-version = "0.3.0"
-features = ["klee-analysis"]
-
-[patch.crates-io]
-#[replace]
-"volatile-register" = { path = "../../klee/volatile-register/" }
+# tmp disable
+# [dependencies.volatile-register]
+# #branch = "klee-analysis"
+# version = "0.3.0"
+# features = ["klee-analysis"]
+
+# [patch.crates-io]
+# #[replace]
+# "volatile-register" = { path = "../../klee/volatile-register/" }
 
 # [dependencies.cortex-m]
 # version = "0.6.0"