From 42bf19b1e4fdde3d3a936a11d2e9eeb95ddd43dd Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 21:10:26 +0100
Subject: More refactoring

---
 Source/Core/AbsyType.cs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

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