diff options
Diffstat (limited to 'Dafny/Resolver.cs')
-rw-r--r-- | Dafny/Resolver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dafny/Resolver.cs b/Dafny/Resolver.cs index ca7a0c69..29aa3bd7 100644 --- a/Dafny/Resolver.cs +++ b/Dafny/Resolver.cs @@ -170,7 +170,7 @@ namespace Microsoft.Dafny { }
// register top-level declarations
- var rewriters = new List<Rewriter>();
+ var rewriters = new List<IRewriter>();
// The following line could be generalized to allow rewriter plug-ins; to support such, just add command-line
// switches and .Add to "rewriters" here.
rewriters.Add(new AutoContractsRewriter());
|