diff --git a/klee/src/lib.rs b/klee/src/lib.rs
index c770cbdc01543a43d2a35835c2b823f27533aa38..31b22b5a9e06768687b0431e00d2926a42a1e730 100644
--- a/klee/src/lib.rs
+++ b/klee/src/lib.rs
@@ -93,7 +93,7 @@ macro_rules! k_visit {
 }
 
 #[cfg(feature = "klee_mode")]
-pub fn k_read<T>(_p: &T) {
+pub fn k_read<T>(p: &T) {
     unsafe { core::ptr::read_volatile(p) };
 }