StringSeq: farewell

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/BoogiePL.atg b/Source/Core/BoogiePL.atg
index a8a03567..dec0b3a8 100644
--- a/Source/Core/BoogiePL.atg
+++ b/Source/Core/BoogiePL.atg
@@ -750,7 +750,7 @@ StmtList<out StmtList/*!*/ stmtList>
 TransferCmd<out TransferCmd/*!*/ tc>

 = (. Contract.Ensures(Contract.ValueAtReturn(out tc) != null); tc = dummyTransferCmd;

      Token y;  List<IToken>/*!*/ xs;

-     StringSeq ss = new StringSeq();

+     List<String> ss = new List<String>();

   .)

   ( "goto"             (. y = t; .)

     Idents<out xs>     (. foreach(IToken/*!*/ s in xs){

@@ -1316,7 +1316,7 @@ SpecBlock<out Block/*!*/ b>
      Cmd c;  IToken label;

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

      List<IToken>/*!*/ xs;

-     StringSeq ss = new StringSeq();

+     List<String> ss = new List<String>();

      b = dummyBlock;

      Expr/*!*/ e;

   .)