small fix to detached spec scope, but still getting an error

enjhnsn2 · enjhnsn2 · commit 32b37ae017f8 · 2025-11-11T14:29:15.000-08:00
diff --git a/kernel/src/collections/ring_buffer.rs b/kernel/src/collections/ring_buffer.rs
@@ -356,6 +356,7 @@ mod flux_specs {
     }
 
     // ======= RingBuffer spec ===========
+    use crate::collections;
     #[flux::specs {
         mod collections {
             mod ring_buffer {
