diff --git a/klee/src/lib.rs b/klee/src/lib.rs
index 48b0dbfcfe9473d856a0f451d6d4a78c13754e6e..af4cc48ec414ed1ca955c70a2e8046cf2f38e60d 100644
--- a/klee/src/lib.rs
+++ b/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();
 }