1 files changed, 8 insertions, 8 deletions

diff --git a/Source/Core/BoogiePL.atg b/Source/Core/BoogiePL.atg
index 4b20e4a7..a8a03567 100644
--- a/Source/Core/BoogiePL.atg
+++ b/Source/Core/BoogiePL.atg
@@ -84,7 +84,7 @@ public Parser(Scanner/*!*/ scanner, Errors/*!*/ errors, bool disambiguation)
   Pgm = new Program();

   dummyExpr = new LiteralExpr(Token.NoToken, false);

   dummyCmd = new AssumeCmd(Token.NoToken, dummyExpr);

-  dummyBlock = new Block(Token.NoToken, "dummyBlock", new CmdSeq(), new ReturnCmd(Token.NoToken));

+  dummyBlock = new Block(Token.NoToken, "dummyBlock", new List<Cmd>(), new ReturnCmd(Token.NoToken));

   dummyType = new BasicType(Token.NoToken, SimpleType.Bool);

   dummyExprSeq = new ExprSeq ();

   dummyTransferCmd = new ReturnCmd(Token.NoToken);

@@ -681,7 +681,7 @@ StmtList<out StmtList/*!*/ stmtList>
 = (. Contract.Ensures(Contract.ValueAtReturn(out stmtList) != null); List<BigBlock/*!*/> bigblocks = new List<BigBlock/*!*/>();

      /* built-up state for the current BigBlock: */

      IToken startToken = null;  string currentLabel = null;

-     CmdSeq cs = null;  /* invariant: startToken != null ==> cs != null */

+     List<Cmd> cs = null;  /* invariant: startToken != null ==> cs != null */

      /* temporary variables: */

      IToken label;  Cmd c;  BigBlock b;

      StructuredCmd ec = null;  StructuredCmd/*!*/ ecn;

@@ -693,7 +693,7 @@ StmtList<out StmtList/*!*/ stmtList>
     (. if (c != null) {

          // LabelOrCmd read a Cmd

          Contract.Assert(label == null);

-         if (startToken == null) { startToken = c.tok;  cs = new CmdSeq(); }

+         if (startToken == null) { startToken = c.tok;  cs = new List<Cmd>(); }

          Contract.Assert(cs != null);

          cs.Add(c);

        } else {

@@ -708,13 +708,13 @@ StmtList<out StmtList/*!*/ stmtList>
          }

          startToken = label;

          currentLabel = label.val;

-         cs = new CmdSeq();

+         cs = new List<Cmd>();

        }

     .)

 

   | StructuredCmd<out ecn>

     (. ec = ecn;

-       if (startToken == null) { startToken = ec.tok;  cs = new CmdSeq(); }

+       if (startToken == null) { startToken = ec.tok;  cs = new List<Cmd>(); }

        Contract.Assert(cs != null);

        b = new BigBlock(startToken, currentLabel, cs, ec, null);

        bigblocks.Add(b);

@@ -723,7 +723,7 @@ StmtList<out StmtList/*!*/ stmtList>
 

   | TransferCmd<out tcn>

     (. tc = tcn;

-       if (startToken == null) { startToken = tc.tok;  cs = new CmdSeq(); }

+       if (startToken == null) { startToken = tc.tok;  cs = new List<Cmd>(); }

        Contract.Assert(cs != null);

        b = new BigBlock(startToken, currentLabel, cs, null, tc);

        bigblocks.Add(b);

@@ -735,7 +735,7 @@ StmtList<out StmtList/*!*/ stmtList>
   "}"

   (. IToken/*!*/ endCurly = t;

      if (startToken == null && bigblocks.Count == 0) {

-       startToken = t;  cs = new CmdSeq();

+       startToken = t;  cs = new List<Cmd>();

      }

      if (startToken != null) {

        Contract.Assert(cs != null);

@@ -1314,7 +1314,7 @@ CodeExpression<.out List<Variable>/*!*/ locals, out List<Block/*!*/>/*!*/ blocks
 SpecBlock<out Block/*!*/ b>

 = (. Contract.Ensures(Contract.ValueAtReturn(out b) != null); IToken/*!*/ x; IToken/*!*/ y;

      Cmd c;  IToken label;

-     CmdSeq cs = new CmdSeq();

+     List<Cmd> cs = new List<Cmd>();

      List<IToken>/*!*/ xs;

      StringSeq ss = new StringSeq();

      b = dummyBlock;