From 744b72980ed43d3997964987b7a1647ec04d97fc Mon Sep 17 00:00:00 2001
From: Unknown <leino@LEINO6.redmond.corp.microsoft.com>
Date: Fri, 22 Jun 2012 17:52:24 -0700
Subject: Dafny: added contracts to IRewriter methods

---
 Source/Dafny/Resolver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Dafny/Resolver.cs')

diff --git a/Source/Dafny/Resolver.cs b/Source/Dafny/Resolver.cs
index ca7a0c69..29aa3bd7 100644
--- a/Source/Dafny/Resolver.cs
+++ b/Source/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());
-- 
cgit v1.2.3