diff options
Diffstat (limited to 'Source/Predication/UniformityAnalyser.cs')
| -rw-r--r-- | Source/Predication/UniformityAnalyser.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Predication/UniformityAnalyser.cs b/Source/Predication/UniformityAnalyser.cs index a6287db5..3c8f4cd9 100644 --- a/Source/Predication/UniformityAnalyser.cs +++ b/Source/Predication/UniformityAnalyser.cs @@ -292,7 +292,7 @@ namespace Microsoft.Boogie return null;
}
- private bool Analyse(Implementation impl, CmdSeq cmdSeq, bool ControlFlowIsUniform)
+ private bool Analyse(Implementation impl, List<Cmd> cmdSeq, bool ControlFlowIsUniform)
{
foreach (Cmd c in cmdSeq)
{
|