From bf7ad374a0b16b3b61e2aafe3a1a31373f030518 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Fri, 16 Aug 2024 15:53:21 +0200
Subject: [PATCH] stupid bug fix

stupid bug fix
---
 fuzzers/FRET/src/systemstate/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fuzzers/FRET/src/systemstate/mod.rs b/fuzzers/FRET/src/systemstate/mod.rs
index b7b2e94a3b..25c4769b02 100644
--- a/fuzzers/FRET/src/systemstate/mod.rs
+++ b/fuzzers/FRET/src/systemstate/mod.rs
@@ -21,7 +21,7 @@ pub mod mutational;
 pub mod report;
 
 // Constants
-const NUM_PRIOS: usize = 5;
+const NUM_PRIOS: usize = 15;
 
 //============================= Struct definitions