diff options
| author |  Bryan Parno <parno@microsoft.com> | 2014-01-14 14:31:58 -0800 |
|---|---|---|
| committer | Bryan Parno <parno@microsoft.com> | 2014-01-14 14:31:58 -0800 |
| commit | 256cfd56cbf30aa83cb301021f5b0ead36df0069 (patch) | |
| tree | f19e07e3bb929ad8913c6142832ec7cf60ab7831 | |
| parent | d2b248851b9030697f71ead06e65a514805eb6d0 (diff) | |
Added a missing autoReq resolution step
| -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);
}
|