From 3cc8bed92e80e388961042ee91128e9e8fff4559 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Wed, 26 Nov 2014 11:14:41 +0100
Subject: Fixed issue with resolution of function calls.

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

diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs
index 646b7182..880c2155 100644
--- a/Source/Core/AbsyExpr.cs
+++ b/Source/Core/AbsyExpr.cs
@@ -1836,7 +1836,7 @@ namespace Microsoft.Boogie {
       if (Func == null) {
         rc.Error(this.name, "use of undeclared function: {0}", name.Name);
       }
-      else {
+      else if (name.Type == null) {
         // We need set the type of this IdentifierExpr so ShallowType() works
         Debug.Assert(name.Type == null);
         Debug.Assert(Func.OutParams.Count > 0);
-- 
cgit v1.2.3