From ae6b3c065054b9af2253222d9efe295aa9ce1834 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Mon, 26 Aug 2024 15:45:32 +0200
Subject: [PATCH] maybe fix interrupt bytes not changing

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

diff --git a/fuzzers/FRET/src/systemstate/mutational.rs b/fuzzers/FRET/src/systemstate/mutational.rs
index 3c22968de3..e401443f0d 100644
--- a/fuzzers/FRET/src/systemstate/mutational.rs
+++ b/fuzzers/FRET/src/systemstate/mutational.rs
@@ -376,7 +376,8 @@ where
                     }
                 }
             }
-            new_interrupt_times.drain(..);
+            let _t= new_interrupt_times.drain(..).collect::<Vec<_>>();
+            drop(_t);
             new_interrupt_times.extend(&prefix.concat());
         }
         drop(current_case);