From 62d2fa72d5e1816d6cb1239063302808424c6d13 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 19:00:35 +0100
Subject: More refactoring

---
 Source/Core/BoogiePL.atg | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/Core/BoogiePL.atg')

diff --git a/Source/Core/BoogiePL.atg b/Source/Core/BoogiePL.atg
index 6b064669..219cb3e6 100644
--- a/Source/Core/BoogiePL.atg
+++ b/Source/Core/BoogiePL.atg
@@ -160,7 +160,7 @@ PRODUCTIONS
 /*------------------------------------------------------------------------*/
 BoogiePL
 = (. VariableSeq/*!*/ vs;
-     DeclarationSeq/*!*/ ds;
+     List<Declaration>/*!*/ ds;
      Axiom/*!*/ ax;
      List<Declaration/*!*/>/*!*/ ts;
      Procedure/*!*/ pr;
@@ -439,9 +439,9 @@ OrderSpec<.out bool ChildrenComplete, out List<ConstantParent/*!*/> Parents.>
   .
 
 /*------------------------------------------------------------------------*/
-Function<out DeclarationSeq/*!*/ ds>
+Function<out List<Declaration>/*!*/ ds>
 = (. Contract.Ensures(Contract.ValueAtReturn(out ds) != null);
-     ds = new DeclarationSeq(); IToken/*!*/ z;
+     ds = new List<Declaration>(); IToken/*!*/ z;
      IToken/*!*/ typeParamTok;
      var typeParams = new TypeVariableSeq();
      var arguments = new VariableSeq();
-- 
cgit v1.2.3