Commit e742e3f7 authored by Per's avatar Per

remove panic handler

parent b23ded89
......@@ -8,7 +8,7 @@ pub use cstr_core::CStr;
pub mod ll;
pub mod panic;
// pub mod panic;
pub fn klee_abort() -> ! {
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment