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

1 files changed, 1 insertions, 1 deletions

diff --git a/DafnyDriver/DafnyDriver.ssc b/DafnyDriver/DafnyDriver.ssc
index d9d9a6be..952a5ea6 100644
--- a/DafnyDriver/DafnyDriver.ssc
+++ b/DafnyDriver/DafnyDriver.ssc
@@ -366,7 +366,7 @@ namespace Microsoft.Boogie
         Program programSnippet;

         int errorCount;

         try {

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

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

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

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

             okay = false;