diff --git a/src/lib.rs b/src/lib.rs
index 3edc3df5c0f57aa19e00f277673cd7cb6c728232..2cc7fe10b64536e8b056f0c799ed2d7447a4aa33 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -5,8 +5,8 @@
 
 extern crate cstr_core;
 
-#[cfg(feature = "klee-analysis")]
-mod lang_items;
+// #[cfg(feature = "klee-analysis")]
+// mod lang_items;
 #[cfg(feature = "klee-analysis")]
 pub mod ll;