diff --git a/src/lib.rs b/src/lib.rs
index b72ab8cdf122243f04ca3d766f5e9a7e29545ecd..401d045000ba78eb40a88a9675d64945e0548411 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -8,8 +8,6 @@ pub use cstr_core::CStr;
 
 pub mod ll;
 
-// pub mod panic;
-
 #[inline(always)]
 pub fn klee_abort() -> ! {
     unsafe { ll::abort() };
diff --git a/src/panic.rs b/src/panic.rs
deleted file mode 100644
index f3d1fc345d754401478a5615ded33969d4a6270e..0000000000000000000000000000000000000000
--- a/src/panic.rs
+++ /dev/null
@@ -1,6 +0,0 @@
-#[cfg(not(test))] // avoid warning duplicate lang-item
-#[panic_handler]
-fn panic(_info: &core::panic::PanicInfo) -> ! {
-    // abort symbol caught by LLVM-KLEE
-    unsafe { crate::ll::abort() }
-}