From 328ce95b19444f09956b343800d95c5fc789af42 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Fri, 28 Dec 2018 16:09:28 +0100
Subject: [PATCH] no lang items

---
 src/lib.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lib.rs b/src/lib.rs
index 3edc3df..2cc7fe1 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;
 
-- 
GitLab