From 31f7dadfebd5e523285c3174d4cdbbea0d2d5b30 Mon Sep 17 00:00:00 2001
From: Namratha <namrathag26@gmail.com>
Date: Tue, 25 Jun 2024 14:27:11 +0200
Subject: [PATCH] empty goto fix

---
 Source/Concurrency/InductiveSequentialization.cs | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/Source/Concurrency/InductiveSequentialization.cs b/Source/Concurrency/InductiveSequentialization.cs
index 2107573ce..0d028a4fd 100644
--- 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(