diff --git a/src/lib.rs b/src/lib.rs
index 6528a38f75f3136ffede4770d5b615c4ae1747d9..b72ab8cdf122243f04ca3d766f5e9a7e29545ecd 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -8,7 +8,7 @@ pub use cstr_core::CStr;
 
 pub mod ll;
 
-pub mod panic;
+// pub mod panic;
 
 #[inline(always)]
 pub fn klee_abort() -> ! {