diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index 54eb583a8ead2a9f514826ca074087982e99f374..5b4b9dc1a07df28cc3023cd65eb250db1235b5b9 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -1,4 +1,4 @@
-#[cfg(not(feature = "inline-asm"))]
+//#[cfg(not(feature = "inline-asm"))]
 compile_error!("klee-replay requires feature `inline-asm`");
 
 /// suppress assumption