1 files changed, 0 insertions, 20 deletions
diff --git a/BCT/BytecodeTranslator/Prelude.cs b/BCT/BytecodeTranslator/Prelude.cs
deleted file mode 100644
index 2ccddfdb..00000000
--- a/BCT/BytecodeTranslator/Prelude.cs
+++ /dev/null
@@ -1,20 +0,0 @@
-using System;
-using System.Collections.Generic;
-using System.IO;
-using System.Text;
-
-namespace BytecodeTranslator {
-  public class Prelude {
-
-    /// <summary>
-    /// Prelude that is shared by all translated programs, no matter
-    /// what the heap representation is.
-    /// </summary>
-    public static void Emit(Microsoft.Boogie.TokenTextWriter wr) {
-      wr.Write(@"// Copyright (c) 2010, Microsoft Corp.
-// Bytecode Translator prelude
-
-");
-    }
-  }
-}