diff options
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 {
|