Fix

JetBrains · Jul 31, 2024 · 3c70b8f · 3c70b8f
1 parent ef317e8
commit 3c70b8f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt b/src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt
@@ -1503,6 +1503,7 @@ abstract class ManagedStrategy(
         if (skipNextBeforeEvent) {
             skipNextBeforeEvent = false
         }
+
         return skipBeforeEvent
     }