no lang items

328ce95b · Per Lindgren · 9a503050 · 328ce95b
Commit 328ce95b authored 6 years ago by Per Lindgren
--- 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;