diff 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
}
}
}
|