diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index 39f5036bd01f720b5377ada42e05e9d8994e4197..55fbf918c27f84133ccdbc30f92e0c4a6ddec733 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -7,10 +7,10 @@
 pub fn klee_assume(_cond: bool) {}
 
 #[inline(always)]
-pub fn klee_make_symbolic<T>(t: &mut T) {
+pub fn klee_make_symbolic<T>(mut t: &mut T) {
     // force LLVM to consider data to be mutated
     unsafe {
-        core::arch::asm!("bkpt #{0}",inout(reg) *t)
+        core::arch::asm!("bkpt #{0}",inout(reg) t)
     }
     // unsafe {
     //     llvm_asm!("bkpt #0" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")