diff options
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.ssc')
-rw-r--r-- | Source/BoogieDriver/BoogieDriver.ssc | 2 |
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;
|