From 27b00332defaa2cca30a2e4035714a3e51e2eade Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Mon, 28 Nov 2011 18:15:12 -0800
Subject: fixed a bug in model parsing

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

(limited to 'Source/Model')

diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs
index 310a25af..07a0af3e 100644
--- a/Source/Model/Model.cs
+++ b/Source/Model/Model.cs
@@ -836,10 +836,11 @@ namespace Microsoft.Boogie
           }
 
           if (words.Count == 3 && words[1] is string && ((string) words[1]) == "->") {
-            Func fn = null;
             var funName = (string) words[0];
+            Func fn = null;
 
             if (lastWord is string && ((string) lastWord) == "{") {
+              fn = currModel.TryGetFunc(funName);
               for ( ; ; ) {
                 var tuple = GetFunctionTuple(ReadLine());
                 if (tuple == null) BadModel("EOF in function table");
-- 
cgit v1.2.3