Boogie: Added an additional parameter 'defines' to the method 'BoogiePL.Parser.Parse'.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/BoogieDriver/BoogieDriver.ssc b/Source/BoogieDriver/BoogieDriver.ssc
index c1bf358e..1923ca49 100644
--- a/Source/BoogieDriver/BoogieDriver.ssc
+++ b/Source/BoogieDriver/BoogieDriver.ssc
@@ -349,7 +349,7 @@ namespace Microsoft.Boogie
         Program programSnippet;

         int errorCount;

         try {

-          errorCount = BoogiePL.Parser.Parse(bplFileName, out programSnippet);

+          errorCount = BoogiePL.Parser.Parse(bplFileName, null, out programSnippet);

           if (programSnippet == null || errorCount != 0) {

             Console.WriteLine("{0} parse errors detected in {1}", errorCount, bplFileName);

             okay = false;