diff options
| -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;
}
|