Fix a couple of warnings

2025-09-06 16:17:05 +02:00
parent 7f63a5c8f0
commit afed3bc84b
2 changed files with 0 additions and 3 deletions
@@ -67,7 +67,6 @@ pub enum HardBlockedReason {
    },
    // TODO: PageFaultOom?
    NotYetStarted,
-    PtraceStop,
 }

 const CONTEXT_NAME_CAPAC: usize = 32;