From 096307ffd293543ba4c967557560cf83637dbd57 Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Tue, 20 Feb 2018 22:21:53 +0100
Subject: [PATCH] typo

---
 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 c770cbd..31b22b5 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) };
 }
 
-- 
GitLab