From 248453146e3501670929bd312f4da8856850ec5e Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 6 Jul 2010 11:01:13 +0000
Subject: Boogie: Added an additional parameter 'defines' to the method
 'BoogiePL.Parser.Parse'.

---
 Source/BoogieDriver/BoogieDriver.ssc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/BoogieDriver')

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;
-- 
cgit v1.2.3