From 3779b9edc042b2ab7330eb22bcc6fd32a1858bc2 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Mon, 6 Feb 2012 23:25:55 -0800
Subject: fixed bug in model parsing converted a bunch of definitions to be
 inlined

---
 Source/Model/Model.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Model')

diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs
index 0b20ff33..4838c347 100644
--- a/Source/Model/Model.cs
+++ b/Source/Model/Model.cs
@@ -850,7 +850,7 @@ namespace Microsoft.Boogie
                   if (fn == null)
                     fn = currModel.MkFunc(funName, 1);
                   if (tuple0 == "}") break;
-                  fn.Else = GetElt(tuple0);
+                  fn.Else = GetElt(tuple[0]);
                   continue;
                 }
                 string tuplePenultimate = tuple[tuple.Count - 2] as string;
-- 
cgit v1.2.3