Removed unused code.

1 files changed, 0 insertions, 22 deletions

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 7eacf697..7e0e9732 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -100,27 +100,5 @@ namespace Microsoft.Boogie {
         Console.ReadLine();

       }

     }

-    

-

-    #region // TODO: Is this still used?

-

-    enum FileType

-    {

-      Unknown,

-      Cil,

-      Bpl,

-      Dafny

-    };

-

-

-    static bool ProgramHasDebugInfo(Program program)

-    {

-      Contract.Requires(program != null);

-      // We inspect the last declaration because the first comes from the prelude and therefore always has source context.

-      return program.TopLevelDeclarations.Count > 0 &&

-          ((cce.NonNull(program.TopLevelDeclarations)[program.TopLevelDeclarations.Count - 1]).tok.IsValid);

-    }

-

-    #endregion

   }

 }