More refactoring

2 files changed, 3 insertions, 6 deletions

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index 15d79177..ad0618f7 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -3245,9 +3245,6 @@ namespace Microsoft.Boogie {
       : base(varSeq) {

       Contract.Requires(varSeq != null);

     }

-    public void Remove() {

-      RemoveAt(Count - 1);

-    }

     public void AppendWithoutDups(TypeVariableSeq s1) {

       Contract.Requires(s1 != null);

       for (int i = 0; i < s1.Count; i++) {

diff --git a/Source/Core/AbsyType.cs b/Source/Core/AbsyType.cs
index fe2b9a4c..3d02768e 100644
--- a/Source/Core/AbsyType.cs
+++ b/Source/Core/AbsyType.cs
@@ -3178,8 +3178,8 @@ Contract.Requires(that != null);
       } finally {

         // make sure that the bound variables are removed again

         for (int i = 0; i < this.TypeParameters.Count; ++i) {

-          thisBoundVariables.Remove();

-          thatBoundVariables.Remove();

+          thisBoundVariables.RemoveAt(thisBoundVariables.Count - 1);

+          thatBoundVariables.RemoveAt(thatBoundVariables.Count - 1);

         }

       }

 

@@ -3372,7 +3372,7 @@ Contract.Assert(var != null);
       res = res * 7 + Result.GetHashCode(boundVariables);

 

       for (int i = 0; i < this.TypeParameters.Count; ++i)

-        boundVariables.Remove();

+        boundVariables.RemoveAt(boundVariables.Count - 1);

 

       return res;

     }