empty goto fix

boogie-org · Jun 25, 2024 · 31f7dad · 31f7dad
1 parent 3bb2588
commit 31f7dad
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/Source/Concurrency/InductiveSequentialization.cs b/Source/Concurrency/InductiveSequentialization.cs
@@ -162,10 +162,14 @@ protected List<Declaration> GeneratePartitionChecker(Action action)
       }
 
       string checkerName = civlTypeChecker.AddNamePrefix($"PartitionChecker_{action.Name}");
-      List<Block> blocks = new List<Block>(checkerBlocks.Count + 1)
+      List<Block> blocks = new List<Block>(checkerBlocks.Count + 1);
+      if(checkerBlocks.Count != 0)
       {
-        BlockHelper.Block(checkerName, cmds, checkerBlocks)
-      };
+        blocks.Add(BlockHelper.Block(checkerName, cmds, checkerBlocks));
+      }
+      else{
+        blocks.Add(BlockHelper.Block(checkerName, cmds));
+      }
       blocks.AddRange(checkerBlocks);
 
       Procedure proc = DeclHelper.Procedure(