From 3f417a0223b4e5d0139c5b035e573895ac2ad84c Mon Sep 17 00:00:00 2001
From: qunyanm <qunyanm@hotmail.com>
Date: Mon, 16 Nov 2015 11:03:28 -0800
Subject: Use EndCurly token for the ReturnCmd when creating unifiedExit

Instead of using NoToken for the ReturnCmd, use the EndCurly when
creating unifiedExit.
---
 Source/VCGeneration/ConditionGeneration.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs
index ae0a1147..b26750ab 100644
--- a/Source/VCGeneration/ConditionGeneration.cs
+++ b/Source/VCGeneration/ConditionGeneration.cs
@@ -1133,7 +1133,7 @@ namespace VC {
         }
         if (returnBlocks > 1) {
           string unifiedExitLabel = "GeneratedUnifiedExit";
-          Block unifiedExit = new Block(new Token(-17, -4), unifiedExitLabel, new List<Cmd>(), new ReturnCmd(Token.NoToken));
+          Block unifiedExit = new Block(new Token(-17, -4), unifiedExitLabel, new List<Cmd>(), new ReturnCmd(impl.StructuredStmts.EndCurly));
           Contract.Assert(unifiedExit != null);
           foreach (Block b in impl.Blocks) {
             if (b.TransferCmd is ReturnCmd) {
-- 
cgit v1.2.3