Fixed issue with resolution of function calls.

1 files changed, 1 insertions, 1 deletions

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);