change from llvm_asm! to asm!

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

 /// suppress assumption