From 57fc4411188b4d84034fa3b3132e2cc2de4c9022 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Thu, 9 Mar 2023 17:21:26 +0100
Subject: [PATCH] fix interrupt config

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

diff --git a/fuzzers/FRET/src/fuzzer.rs b/fuzzers/FRET/src/fuzzer.rs
index 2d0dd56f34..b922ce804d 100644
--- a/fuzzers/FRET/src/fuzzer.rs
+++ b/fuzzers/FRET/src/fuzzer.rs
@@ -182,7 +182,7 @@ pub fn fuzz() {
             let mut buf = target.as_slice();
             let mut len = buf.len();
             unsafe {
-                // #[cfg(feature = "fuzz_int")]
+                #[cfg(feature = "fuzz_int")]
                 {
                     for i in 0..DO_NUM_INTERRUPT {
                         let mut t : [u8; 4] = [0,0,0,0];