From a565601849052e885d287ee2ddbc6ae1baeabcc6 Mon Sep 17 00:00:00 2001
From: madeline <qwertytrogi@gmail.com>
Date: Sun, 17 May 2026 16:45:18 -0700
Subject: [PATCH] fix rando_config.cpp on linux maybe

---
 src/dusk/ui/rando_config.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/dusk/ui/rando_config.cpp b/src/dusk/ui/rando_config.cpp
index 7781ba157d..548a8aef72 100644
--- a/src/dusk/ui/rando_config.cpp
+++ b/src/dusk/ui/rando_config.cpp
@@ -1,6 +1,7 @@
 #include "rando_config.hpp"
 
 #include <mutex>
+#include <thread>
 
 #include "bool_button.hpp"
 #include "pane.hpp"
@@ -267,4 +268,4 @@ RandomizerWindow::RandomizerWindow() {
     });
 }
 
-}
\ No newline at end of file
+}