From 07e15dce2315f99bcbc7b3aa558653feec9de906 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 22:51:04 +0100
Subject: ExprSeq: farewell

---
 Source/VCExpr/Boogie2VCExpr.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/VCExpr')

diff --git a/Source/VCExpr/Boogie2VCExpr.cs b/Source/VCExpr/Boogie2VCExpr.cs
index 6dc69528..22ba09be 100644
--- a/Source/VCExpr/Boogie2VCExpr.cs
+++ b/Source/VCExpr/Boogie2VCExpr.cs
@@ -75,7 +75,7 @@ namespace Microsoft.Boogie.VCExprAST {
       return Pop();
     }
 
-    public List<VCExpr/*!*/>/*!*/ Translate(ExprSeq exprs) {
+    public List<VCExpr/*!*/>/*!*/ Translate(List<Expr> exprs) {
       Contract.Requires(exprs != null);
       Contract.Ensures(cce.NonNullElements(Contract.Result<List<VCExpr>>()));
       List<VCExpr/*!*/>/*!*/ res = new List<VCExpr/*!*/>();
-- 
cgit v1.2.3