diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index be1b00091a7a82752f24d4f363d633cff4e8e898..3120e09f5ae5fe4b6d1bf8c92b9711181abf848f 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -8,9 +8,9 @@ pub fn klee_assume(_cond: bool) {}
 #[inline(always)]
 pub fn klee_make_symbolic<T>(t: &mut T) {
     // force LLVM to consider data to be mutated
-    //unsafe {
+    unsafe {
         core::arch::asm!("bkpt #2")
-    //}
+    }
 }
 
 /// terminates path