From 8547ab2737f6bcb185398e4cbc3edde3847cb085 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 10:35:39 +0100
Subject: Requires/EnsuresSeq replaced by List<Requires/Ensures>

---
 Source/Predication/BlockPredicator.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/Predication')

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,
-- 
cgit v1.2.3