diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index be3b3e24d3de0d7f03629606fabcc99ae66393f5..cc64371e8086884f96e71e43f567e93c19728d70 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -20,7 +20,7 @@ pub fn klee_assume(_cond: bool) {}
 pub fn klee_make_symbolic<T>(t: &mut T) {
     // force LLVM to consider data to be mutated
     unsafe {
-        asm!("bkpt #0" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")
+        llvm_asm!("bkpt #0" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")
     }
 }