diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 10:35:39 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 10:35:39 +0100 |
| commit | 8547ab2737f6bcb185398e4cbc3edde3847cb085 (patch) | |
| tree | 9d9f2aa2866d2ef38425c53899706fe47e5ea08f /Source/Predication | |
| parent | cd8e597689abb89e64454cc042a2f28619ea44f4 (diff) | |
Requires/EnsuresSeq replaced by List<Requires/Ensures>
Diffstat (limited to 'Source/Predication')
| -rw-r--r-- | Source/Predication/BlockPredicator.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Predication/BlockPredicator.cs b/Source/Predication/BlockPredicator.cs index 8419471e..83be688e 100644 --- a/Source/Predication/BlockPredicator.cs +++ b/Source/Predication/BlockPredicator.cs @@ -312,13 +312,13 @@ public class BlockPredicator { if (dwf is Procedure)
{
var proc = (Procedure)dwf;
- var newRequires = new RequiresSeq();
+ var newRequires = new List<Requires>();
foreach (Requires r in proc.Requires)
{
newRequires.Add(new Requires(r.Free,
new EnabledReplacementVisitor(new IdentifierExpr(Token.NoToken, fpVar)).VisitExpr(r.Condition)));
}
- var newEnsures = new EnsuresSeq();
+ var newEnsures = new List<Ensures>();
foreach (Ensures e in proc.Ensures)
{
newEnsures.Add(new Ensures(e.Free,
|