fixed warnings

klee/src/lib.rs

@@ -16,7 +16,7 @@ pub use cstr_core::CStr;
 
 //extern "C" fn memcmp(cx: *const c_void, ct: *const c_void, n: size_t) -> c_int {
 #[no_mangle]
-pub fn memcmp(cx: *const c_void, ct: *const c_void, n: usize) -> c_int {
+pub fn memcmp(_cx: *const c_void, _ct: *const c_void, _n: usize) -> c_int {
     ::abort();
 }