diff options
| author |  wuestholz <unknown> | 2011-09-20 09:59:16 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2011-09-20 09:59:16 +0200 |
| commit | 609deac438ce403abb679dc89a1ad6c98770e54c (patch) | |
| tree | 2048c351c5db64bb285f1eb6f1afaefdec147a77 /Source/Core | |
| parent | d49d27d02674eb95f35ab0e6728ab8b64e9c5e10 (diff) | |
Dafny: Fixed an assertion violation in the "Checked" configuration.
Diffstat (limited to 'Source/Core')
| -rw-r--r-- | Source/Core/Absy.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs index cbea8535..a9c41efb 100644 --- a/Source/Core/Absy.cs +++ b/Source/Core/Absy.cs @@ -2380,7 +2380,6 @@ namespace Microsoft.Boogie { public Implementation(IToken tok, string name, TypeVariableSeq typeParams, VariableSeq inParams, VariableSeq outParams, VariableSeq localVariables, [Captured] StmtList structuredStmts, QKeyValue kv)
: this(tok, name, typeParams, inParams, outParams, localVariables, structuredStmts, kv, new Errors()) {
- Contract.Requires(kv != null);
Contract.Requires(structuredStmts != null);
Contract.Requires(localVariables != null);
Contract.Requires(outParams != null);
|