change from llvm_asm! to asm!

e1c7e410 · Carl Österberg · 0fed756b · e1c7e410
Commit e1c7e410 authored 3 years ago by Carl Österberg
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
 //#[cfg(not(feature = "inline-asm"))]
-compile_error!("klee-replay requires feature `inline-asm`");
+//compile_error!("klee-replay requires feature `inline-asm`");
 /// suppress assumption
 #[inline(always)]