From eea0a9e74d6782d08f8dd01c0e1dbec15f1a02cb Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 19:12:40 +0100
Subject: More refactoring

---
 Source/Predication/UniformityAnalyser.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/Predication')

diff --git a/Source/Predication/UniformityAnalyser.cs b/Source/Predication/UniformityAnalyser.cs
index ca5a0df6..a6287db5 100644
--- a/Source/Predication/UniformityAnalyser.cs
+++ b/Source/Predication/UniformityAnalyser.cs
@@ -338,7 +338,7 @@ namespace Microsoft.Boogie
                             SetNonUniform(callCmd.callee);
                         }
                     }
-                    for (int i = 0; i < Callee.InParams.Length; i++)
+                    for (int i = 0; i < Callee.InParams.Count; i++)
                     {
                         if (IsUniform(callCmd.callee, Callee.InParams[i].Name)
                             && !IsUniform(impl.Name, callCmd.Ins[i]))
@@ -347,7 +347,7 @@ namespace Microsoft.Boogie
                         }
                     }
 
-                    for (int i = 0; i < Callee.OutParams.Length; i++)
+                    for (int i = 0; i < Callee.OutParams.Count; i++)
                     {
                         if (IsUniform(impl.Name, callCmd.Outs[i].Name)
                         && !IsUniform(callCmd.callee, Callee.OutParams[i].Name))
-- 
cgit v1.2.3