diff options
| author |  Michael Lowell Roberts <mirobert@microsoft.com> | 2015-07-20 14:05:57 -0700 |
|---|---|---|
| committer | Michael Lowell Roberts <mirobert@microsoft.com> | 2015-07-20 14:05:57 -0700 |
| commit | 4dd4262daa0247cd78eef104ddf6083d90ee8972 (patch) | |
| tree | 975f5378ab74d0a522163dafda79b0a726c5ef7d /Source | |
| parent | 1f53d595ff0e4282ac51a68b124e94cd1af951ec (diff) | |
fix for apparent typo in Rewriter.cs
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Dafny/Rewriter.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Rewriter.cs b/Source/Dafny/Rewriter.cs index d6f54aa7..4223fb7f 100644 --- a/Source/Dafny/Rewriter.cs +++ b/Source/Dafny/Rewriter.cs @@ -41,7 +41,7 @@ namespace Microsoft.Dafny Resolver Resolver;
internal TriggersRewriter(Resolver resolver) {
- Contract.Requires(Resolver != null);
+ Contract.Requires(resolver != null);
this.Resolver = resolver;
}
|