From 272e254fc57f6debf351cdb3ea246427884857f1 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 19:51:29 +0100
Subject: More refactoring

---
 Source/Core/Absy.cs | 18 ------------------
 1 file changed, 18 deletions(-)

(limited to 'Source/Core/Absy.cs')

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)
-- 
cgit v1.2.3