From e1c7e4107b6d05e73d23ad797816a9ed287aa737 Mon Sep 17 00:00:00 2001
From: CarlOsterberg <carl.vilhelms.osterberg@gmail.com>
Date: Thu, 17 Mar 2022 17:12:48 +0100
Subject: [PATCH] change from llvm_asm! to asm!
---
src/lib_klee_replay.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index 5b4b9dc..7dd5b71 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -1,5 +1,5 @@
//#[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)]
--
GitLab