From dae46ea26bad11f5d37f8fc081469d30687eb161 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Wed, 19 Feb 2025 12:32:01 +0100
Subject: [PATCH] enable fallback interrupt randomization

---
 fuzzers/FRET/src/systemstate/mutational.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fuzzers/FRET/src/systemstate/mutational.rs b/fuzzers/FRET/src/systemstate/mutational.rs
index b5765c5dd8..bd7c93bf65 100644
--- a/fuzzers/FRET/src/systemstate/mutational.rs
+++ b/fuzzers/FRET/src/systemstate/mutational.rs
@@ -375,7 +375,7 @@ where
                         }
                     }
                 }
-                #[cfg(not(feature = "trace_stg"))]
+                #[cfg(not(feature = "mutate_stg"))]
                 {
                     if myrand.between(1,100) <= 25 {  // we have no hint if interrupt times will change anything
                         do_rerun = true;