More refactoring

1 files changed, 3 insertions, 3 deletions

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();