diff options
| author |  qadeer <unknown> | 2014-09-18 08:28:30 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-09-18 08:28:30 -0700 |
| commit | 0c35477ac7e7fb5b73b3c64e301e09cd876c0703 (patch) | |
| tree | 49d7e6a87d64ca0878103411328236701c36ec41 /Source/Core/AbsyExpr.cs | |
| parent | 1f99baa7cd1bd3e8cdce7dcd854c416291d114a4 (diff) | |
fixed various CodeContracts issues.
Diffstat (limited to 'Source/Core/AbsyExpr.cs')
| -rw-r--r-- | Source/Core/AbsyExpr.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs index f648cec1..4c590ddb 100644 --- a/Source/Core/AbsyExpr.cs +++ b/Source/Core/AbsyExpr.cs @@ -212,7 +212,7 @@ namespace Microsoft.Boogie { public static Expr Neg(Expr e1) {
Contract.Requires(e1 != null);
- Contract.Ensures(Contract.Result<NAryExpr>() != null);
+ Contract.Ensures(Contract.Result<Expr>() != null);
return Unary(Token.NoToken, UnaryOperator.Opcode.Neg, e1);
}
|