1 files changed, 3 insertions, 1 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 12a6084f..cba74bc5 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -24,7 +24,7 @@ namespace Microsoft.Boogie {
   public class OnlyBoogie
   {
 
-    public static void Main(string[] args)
+    public static int Main(string[] args)
     {
       Contract.Requires(cce.NonNullElements(args));
 
@@ -90,6 +90,7 @@ namespace Microsoft.Boogie {
         }
       }
       ExecutionEngine.ProcessFiles(fileList);
+      return 0;
 
     END:
       if (CommandLineOptions.Clo.XmlSink != null) {
@@ -99,6 +100,7 @@ namespace Microsoft.Boogie {
         Console.WriteLine("Press Enter to exit.");
         Console.ReadLine();
       }
+      return 1;
     }
   }
 }