1 files changed, 0 insertions, 28 deletions
diff --git a/Source/ModelViewer/Program.cs b/Source/ModelViewer/Program.cs
deleted file mode 100644
index 669ea995..00000000
--- a/Source/ModelViewer/Program.cs
+++ /dev/null
@@ -1,28 +0,0 @@
-using System;
-using System.Collections.Generic;
-using System.Linq;
-using System.Windows.Forms;
-
-namespace Microsoft.Boogie.ModelViewer
-{
-  static class Program
-  {
-    /// <summary>
-    /// The main entry point for the application.
-    /// </summary>
-    [STAThread]
-    static void Main()
-    {
-      Application.EnableVisualStyles();
-      Application.SetCompatibleTextRenderingDefault(false);
-      try
-      {
-        Application.Run(new Main(System.Environment.GetCommandLineArgs()));
-      }
-      catch (Exception exc)
-      {
-        MessageBox.Show(exc.Message, "Model Viewer Error", MessageBoxButtons.OK, MessageBoxIcon.Error, MessageBoxDefaultButton.Button1);
-      }
-    }
-  }
-}