diff options
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))
|