mover check enum fix

boogie-org · May 22, 2024 · 1352486 · 1352486
1 parent 5a8510d
commit 1352486
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Source/Concurrency/MoverCheck.cs b/Source/Concurrency/MoverCheck.cs
@@ -83,7 +83,7 @@ where first.IsRightMover || second.IsLeftMover
 
       foreach (var sequentialization in civlTypeChecker.Sequentializations)
       {
-        if (sequentialization is InlineSequentialization || (sequentialization is InductiveSequentialization && ((InductiveSequentialization)sequentialization).rule == InductiveSequentializationRule.IS1))
+        if (sequentialization is InlineSequentialization || (sequentialization is InductiveSequentialization sequentialization1 && sequentialization1.rule == InductiveSequentializationRule.ISL))
         {
           foreach (var leftMover in sequentialization.EliminatedActions)
           {
@@ -116,7 +116,7 @@ where first.IsRightMover || second.IsLeftMover
             }
           }
         }
-        if (sequentialization is InductiveSequentialization && ((InductiveSequentialization)sequentialization).rule == InductiveSequentializationRule.IS2)
+        if (sequentialization is InductiveSequentialization sequentialization2 && sequentialization2.rule == InductiveSequentializationRule.ISR)
         {
           foreach (var action in civlTypeChecker.MoverActions.Where(x => x.LayerRange.Contains(sequentialization.Layer)))
           {