diff options
| author |  0biha <unknown> | 2014-12-26 16:32:13 +0100 |
|---|---|---|
| committer | 0biha <unknown> | 2014-12-26 16:32:13 +0100 |
| commit | 14dd402f433b6d0b10e41b533ad640abf963e722 (patch) | |
| tree | 0420f9e27e1680a5b033eaae75d9dd900adf38b6 /Source/Core | |
| parent | ee15dec6e7cdca7897543c0c3f2a2b01ec6e90fd (diff) | |
Minor precondition fix
Diffstat (limited to 'Source/Core')
| -rw-r--r-- | Source/Core/AbsyCmd.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/AbsyCmd.cs b/Source/Core/AbsyCmd.cs index ae9a56d4..231ae272 100644 --- a/Source/Core/AbsyCmd.cs +++ b/Source/Core/AbsyCmd.cs @@ -1761,7 +1761,7 @@ namespace Microsoft.Boogie { public /*readonly, except for the StandardVisitor*/ List<Cmd>/*!*/ Cmds {
get {
- Contract.Ensures(Contract.Result<List<Variable>>() != null);
+ Contract.Ensures(Contract.Result<List<Cmd>>() != null);
return this._cmds;
}
set {
|