diff options
| -rw-r--r-- | Source/Dafny/Rewriter.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Dafny/Rewriter.cs b/Source/Dafny/Rewriter.cs index 7b7ad5c9..f8c9c57c 100644 --- a/Source/Dafny/Rewriter.cs +++ b/Source/Dafny/Rewriter.cs @@ -631,6 +631,7 @@ namespace Microsoft.Dafny foreach (var formal in fn.Formals) {
var id = new IdentifierExpr(formal.tok, formal.Name);
id.Var = formal; // resolve here
+ id.Type = formal.Type; // resolve here
fnVars.Add(id);
}
|