diff options
author | 2013-07-22 19:51:29 +0100 | |
---|---|---|
committer | 2013-07-22 19:51:29 +0100 | |
commit | 272e254fc57f6debf351cdb3ea246427884857f1 (patch) | |
tree | 62ba358730884e3c6c7b3f8d7f6bf1f6102c2f69 /Source/Core/Absy.cs | |
parent | 4343d9314d6b1185ee8652d9f3e23d08af6d8bf5 (diff) |
More refactoring
Diffstat (limited to 'Source/Core/Absy.cs')
-rw-r--r-- | Source/Core/Absy.cs | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs index 347e3db7..15d79177 100644 --- a/Source/Core/Absy.cs +++ b/Source/Core/Absy.cs @@ -3281,16 +3281,6 @@ namespace Microsoft.Boogie { : base(cmdSeq) {
Contract.Requires(cmdSeq != null);
}
- public new Cmd/*!*/ this[int index] {
- get {
- Contract.Ensures(Contract.Result<Cmd>() != null);
-
- return cce.NonNull((Cmd)base[index]);
- }
- set {
- base[index] = value;
- }
- }
}
public sealed class ExprSeq : List<Expr> {
@@ -3302,14 +3292,6 @@ namespace Microsoft.Boogie { : base(exprSeq) {
Contract.Requires(exprSeq != null);
}
- public new Expr this[int index] {
- get {
- return (Expr)base[index];
- }
- set {
- base[index] = value;
- }
- }
public static ExprSeq operator +(ExprSeq a, ExprSeq b) {
if (a == null)
|