diff options
| author |  wuestholz <unknown> | 2010-07-06 11:01:13 +0000 |
|---|---|---|
| committer | wuestholz <unknown> | 2010-07-06 11:01:13 +0000 |
| commit | 248453146e3501670929bd312f4da8856850ec5e (patch) | |
| tree | ad6593adb6950e4163007640857cc823fd2ba0de /Source/Dafny | |
| parent | a2d05a9f242934499885bb156c258b2f58272e1a (diff) | |
Boogie: Added an additional parameter 'defines' to the method 'BoogiePL.Parser.Parse'.
Diffstat (limited to 'Source/Dafny')
| -rw-r--r-- | Source/Dafny/Translator.ssc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Translator.ssc b/Source/Dafny/Translator.ssc index 48b1beaf..e417ac68 100644 --- a/Source/Dafny/Translator.ssc +++ b/Source/Dafny/Translator.ssc @@ -250,7 +250,7 @@ namespace Microsoft.Dafny { string! preludePath = System.IO.Path.Combine(codebase, "DafnyPrelude.bpl");
Bpl.Program prelude;
- int errorCount = Bpl.Parser.Parse(preludePath, out prelude);
+ int errorCount = Bpl.Parser.Parse(preludePath, null, out prelude);
if (prelude == null || errorCount > 0) {
return null;
} else {
|