diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-04 13:13:59 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-04 13:13:59 -0800 |
| commit | 44f63e63bced20568ba2a97f143304e6c64c3f46 (patch) | |
| tree | f0d74f360e8e9c6bdf134501217432489b58e126 | |
| parent | c7324d3b97252a60aba60cf77bdb64ebb206c6c3 (diff) | |
Dafny: make /help also print the Boogie command-line options
| -rw-r--r-- | Source/Dafny/DafnyOptions.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Dafny/DafnyOptions.cs b/Source/Dafny/DafnyOptions.cs index 4a1388d9..eb01ac12 100644 --- a/Source/Dafny/DafnyOptions.cs +++ b/Source/Dafny/DafnyOptions.cs @@ -139,6 +139,7 @@ namespace Microsoft.Dafny how discriminating they are: 0 < 1 < 2 < (3,4) < 5 < 6
6 (default) - most discriminating
");
+ base.Usage(); // also print the Boogie options
}
}
}
|