diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-11-16 14:52:24 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-11-16 14:52:24 -0800 |
| commit | 8eb81c0042ba8969def9e4d2c69e1448e0aa40ec (patch) | |
| tree | e6014d0140fe56ce6ec9b2fca436fbaa5b0d9cf7 /Source/Core | |
| parent | 09f250265d20c322fd7c330b73a4a029f98b39b1 (diff) | |
Boogie: fixed build error (incorrect type in Contract.Result)
Diffstat (limited to 'Source/Core')
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index d2bdee62..a3bb44ba 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -264,7 +264,6 @@ namespace Microsoft.Boogie { /// <param name="args">Consumed ("captured" and possibly modified) by the method.</param>
public bool Parse([Captured] string[]/*!*/ args) {
Contract.Requires(cce.NonNullElements(args));
- Contract.Ensures(-2 <= Contract.Result<int>() && Contract.Result<int>() <= 2 && Contract.Result<int>() != 0);
// save the command line options for the log files
Environment += "Command Line Options: " + args.Concat(" ");
|