diff options
| author |  Unknown <aleks@aleks-PC> | 2012-05-06 09:46:45 -0400 |
|---|---|---|
| committer | Unknown <aleks@aleks-PC> | 2012-05-06 09:46:45 -0400 |
| commit | bda15df6576f848c6c53ea6edfdd6812dfece091 (patch) | |
| tree | 3c6f5eaa6829c61f71eb5d17e1fe8946aff831cb /DafnyDriver/DafnyDriver.cs | |
| parent | e6bcb0f21b6cc153a37d4040392f614c279131af (diff) | |
| parent | 1096701ea6ac332655167e3e849a0df6a7de7b97 (diff) | |
Merge
Diffstat (limited to 'DafnyDriver/DafnyDriver.cs')
| -rw-r--r-- | DafnyDriver/DafnyDriver.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/DafnyDriver/DafnyDriver.cs b/DafnyDriver/DafnyDriver.cs index 5e227011..4cf64788 100644 --- a/DafnyDriver/DafnyDriver.cs +++ b/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;
@@ -444,7 +444,7 @@ namespace Microsoft.Dafny inline = true;
}
}
- if (inline && CommandLineOptions.Clo.LazyInlining == 0 && CommandLineOptions.Clo.StratifiedInlining == 0) {
+ if (inline && CommandLineOptions.Clo.StratifiedInlining == 0) {
foreach (var d in TopLevelDeclarations) {
var impl = d as Implementation;
if (impl != null) {
|