From bf3d3fb3691cd4c64d79d084923377253cfa4dc1 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 3 Jun 2013 16:49:40 -0700
Subject: Did some refactoring of the Dafny drivers.

---
 Source/DafnyDriver/DafnyDriver.cs | 22 ----------------------
 1 file changed, 22 deletions(-)

(limited to 'Source/DafnyDriver')

diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index 8b587a86..e3bea140 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -145,28 +145,6 @@ namespace Microsoft.Dafny
     }
 
 
-    // TODO(wuestholz): Use the definition in the Boogie driver.
-    static void PrintBplFile(string filename, Bpl.Program program, bool allowPrintDesugaring)
-    {
-      Contract.Requires(filename != null);
-      Contract.Requires(program != null);
-        bool oldPrintDesugaring = CommandLineOptions.Clo.PrintDesugarings;
-        if (!allowPrintDesugaring) {
-          CommandLineOptions.Clo.PrintDesugarings = false;
-        }
-        using (TokenTextWriter writer = filename == "-" ?
-                                        new TokenTextWriter("<console>", Console.Out, false) :
-                                        new TokenTextWriter(filename, false))
-        {
-            writer.WriteLine("// " + CommandLineOptions.Clo.Version);
-            writer.WriteLine("// " + CommandLineOptions.Clo.Environment);
-            writer.WriteLine();
-            program.Emit(writer);
-        }
-        CommandLineOptions.Clo.PrintDesugarings = oldPrintDesugaring;
-    }
-
-
     // TODO(wuestholz): Use the definition in the Boogie driver.
     /// <summary>
     /// Parse the given files into one Boogie program.  If an I/O or parse error occurs, an error will be printed
-- 
cgit v1.2.3