summaryrefslogtreecommitdiff
path: root/Source/AIFramework/Mutable.ssc
diff options
context:
space:
mode:
Diffstat (limited to 'Source/AIFramework/Mutable.ssc')
-rw-r--r--Source/AIFramework/Mutable.ssc4
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/AIFramework/Mutable.ssc b/Source/AIFramework/Mutable.ssc
index 36bb3647..6b5e0a20 100644
--- a/Source/AIFramework/Mutable.ssc
+++ b/Source/AIFramework/Mutable.ssc
@@ -5,7 +5,7 @@
//-----------------------------------------------------------------------------
namespace Microsoft.AbstractInterpretationFramework.Collections
{
- using System.Collections;
+ using System.Collections;
using Microsoft.Contracts;
/// <summary>
@@ -52,7 +52,7 @@ namespace Microsoft.AbstractInterpretationFramework.Collections
// ICollection members
public void CopyTo (System.Array! a, int i) {
if (this.Count > a.Length - i) throw new System.ArgumentException();
- int j = i;
+ int j = i;
foreach(object o in this){
a.SetValue(o, j++);
}