diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index 5b4b9dc1a07df28cc3023cd65eb250db1235b5b9..7dd5b71803e572556147c2a63f9ce289b018f299 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)]