diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 22:17:36 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 22:17:36 +0100 |
| commit | 39d097578051fdee43bca8d17cb568b99a7be50e (patch) | |
| tree | 63206edab489d77fa6fe7a6bcf30718b925ba304 /Source/Predication/UniformityAnalyser.cs | |
| parent | 6b25932f6c3a22115f5f9a0dc327797dfc4fdd27 (diff) | |
CmdSeq: farewell
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)
{
|