typo

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) };
 }