From 793c0c0ded44401a1d6ef1bf494dd0a3d0b8dc43 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 22:30:46 +0100
Subject: RESeq: farewell

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

(limited to 'Source/VCExpr/Boogie2VCExpr.cs')

diff --git a/Source/VCExpr/Boogie2VCExpr.cs b/Source/VCExpr/Boogie2VCExpr.cs
index c6cf5221..6dc69528 100644
--- a/Source/VCExpr/Boogie2VCExpr.cs
+++ b/Source/VCExpr/Boogie2VCExpr.cs
@@ -794,9 +794,9 @@ namespace Microsoft.Boogie.VCExprAST {
       Contract.Assert(false);
       throw new cce.UnreachableException();
     }
-    public override RESeq VisitRESeq(RESeq reSeq) {
+    public override List<RE> VisitRESeq(List<RE> reSeq) {
       //Contract.Requires(reSeq != null);
-      Contract.Ensures(Contract.Result<RESeq>() != null);
+      Contract.Ensures(Contract.Result<List<RE>>() != null);
       Contract.Assert(false);
       throw new cce.UnreachableException();
     }
-- 
cgit v1.2.3