diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 19:12:40 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 19:12:40 +0100 |
| commit | eea0a9e74d6782d08f8dd01c0e1dbec15f1a02cb (patch) | |
| tree | 26b5693006a283d80fb47507263e404c282ae2ef /Source/Predication | |
| parent | 62d2fa72d5e1816d6cb1239063302808424c6d13 (diff) | |
More refactoring
Diffstat (limited to 'Source/Predication')
| -rw-r--r-- | Source/Predication/UniformityAnalyser.cs | 4 |
1 files changed, 2 insertions, 2 deletions
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))
|