1 files changed, 3 insertions, 3 deletions
diff --git a/Source/VCExpr/Boogie2VCExpr.cs b/Source/VCExpr/Boogie2VCExpr.cs
index 6509bc30..b3574b94 100644
--- a/Source/VCExpr/Boogie2VCExpr.cs
+++ b/Source/VCExpr/Boogie2VCExpr.cs
@@ -492,7 +492,7 @@ namespace Microsoft.Boogie.VCExprAST {
       return new VCQuantifierInfos(qid, node.SkolemId, false, node.Attributes);
     }
 
-    private string getQidNameFromQKeyValue(VariableSeq vars, QKeyValue attributes) {
+    private string getQidNameFromQKeyValue(List<Variable> vars, QKeyValue attributes) {
       Contract.Requires(vars != null);
       // Check for a 'qid, name' pair in keyvalues
       string qid = QKeyValue.FindStringAttribute(attributes, "qid");
@@ -872,9 +872,9 @@ namespace Microsoft.Boogie.VCExprAST {
       Contract.Assert(false);
       throw new cce.UnreachableException();
     }
-    public override VariableSeq VisitVariableSeq(VariableSeq variableSeq) {
+    public override List<Variable> VisitVariableSeq(List<Variable> variableSeq) {
       //Contract.Requires(variableSeq != null);
-      Contract.Ensures(Contract.Result<VariableSeq>() != null);
+      Contract.Ensures(Contract.Result<List<Variable>>() != null);
       Contract.Assert(false);
       throw new cce.UnreachableException();
     }