BCT: Added prelude. Started test1 as a test of verification.

1 files changed, 1 insertions, 1 deletions

diff --git a/BCT/BytecodeTranslator/Program.cs b/BCT/BytecodeTranslator/Program.cs
index 3c2a1fa0..26696250 100644
--- a/BCT/BytecodeTranslator/Program.cs
+++ b/BCT/BytecodeTranslator/Program.cs
@@ -66,8 +66,8 @@ namespace BytecodeTranslator {
         translator.Visit(module);

       #endregion Pass 3: Translate the code model to BPL

       Microsoft.Boogie.TokenTextWriter writer = new Microsoft.Boogie.TokenTextWriter(module.Name + ".bpl");

+      Prelude.Emit(writer);

       translator.TranslatedProgram.Emit(writer);

-      writer.WriteLine(";ENDE");

       writer.Close();

       return 0; // success

     }