From 99f724b08a690618252f256d99e61db132d291a3 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Fri, 9 Mar 2012 22:55:27 -0800
Subject: Dafny: fixed build error

---
 DafnyDriver/DafnyDriver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'DafnyDriver/DafnyDriver.cs')

diff --git a/DafnyDriver/DafnyDriver.cs b/DafnyDriver/DafnyDriver.cs
index 5e227011..04e86519 100644
--- a/DafnyDriver/DafnyDriver.cs
+++ b/DafnyDriver/DafnyDriver.cs
@@ -346,7 +346,7 @@ namespace Microsoft.Dafny
         Bpl.Program programSnippet;
         int errorCount;
         try {
-          errorCount = Microsoft.Boogie.Parser.Parse(bplFileName, null, out programSnippet);
+          errorCount = Microsoft.Boogie.Parser.Parse(bplFileName, (List<string>)null, out programSnippet);
           if (programSnippet == null || errorCount != 0) {
             Console.WriteLine("{0} parse errors detected in {1}", errorCount, bplFileName);
             okay = false;
-- 
cgit v1.2.3


From bdf8ac6927bac67364dbc16422aa4d197c7f6e25 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Sat, 28 Apr 2012 11:12:33 -0700
Subject: removed lazy inlining

---
 DafnyDriver/DafnyDriver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'DafnyDriver/DafnyDriver.cs')

diff --git a/DafnyDriver/DafnyDriver.cs b/DafnyDriver/DafnyDriver.cs
index 04e86519..4cf64788 100644
--- a/DafnyDriver/DafnyDriver.cs
+++ b/DafnyDriver/DafnyDriver.cs
@@ -444,7 +444,7 @@ namespace Microsoft.Dafny
             inline = true;
           }
         }
-        if (inline && CommandLineOptions.Clo.LazyInlining == 0 && CommandLineOptions.Clo.StratifiedInlining == 0) {
+        if (inline && CommandLineOptions.Clo.StratifiedInlining == 0) {
           foreach (var d in TopLevelDeclarations) {
             var impl = d as Implementation;
             if (impl != null) {
-- 
cgit v1.2.3