diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-03-09 22:55:27 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-03-09 22:55:27 -0800 |
| commit | c9abbc02dcdf40c0616f1327669f5925433b132a (patch) | |
| tree | 8552f6e27ca096984da62173bfdf428fde9c29e3 /Source/DafnyDriver/DafnyDriver.cs | |
| parent | 5b09c1af85c7d70e9f1149c01de0468e0848b14f (diff) | |
Dafny: fixed build error
Diffstat (limited to 'Source/DafnyDriver/DafnyDriver.cs')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index 5e227011..04e86519 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -346,7 +346,7 @@ namespace Microsoft.Dafny Bpl.Program programSnippet;
int errorCount;
try {
- errorCount = Microsoft.Boogie.Parser.Parse(bplFileName, null, out programSnippet);
+ errorCount = Microsoft.Boogie.Parser.Parse(bplFileName, (List<string>)null, out programSnippet);
if (programSnippet == null || errorCount != 0) {
Console.WriteLine("{0} parse errors detected in {1}", errorCount, bplFileName);
okay = false;
|