From c0796c44abdc65427aae09177c01485a7800a7c5 Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Sun, 28 Jan 2018 15:29:45 +0100
Subject: [PATCH] fixed warnings

---
 klee/src/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/klee/src/lib.rs b/klee/src/lib.rs
index 48b0dbf..af4cc48 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();
 }
 
-- 
GitLab