From f29368964a6233945a16d36109b18073e1983154 Mon Sep 17 00:00:00 2001
From: Ally Donaldson <unknown>
Date: Mon, 22 Jul 2013 22:22:48 +0100
Subject: StringSeq: farewell

---
 Source/Core/Parser.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/Core/Parser.cs')

diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs
index bcdd01d8..17e4b0fb 100644
--- a/Source/Core/Parser.cs
+++ b/Source/Core/Parser.cs
@@ -1074,7 +1074,7 @@ out List<Variable>/*!*/ ins, out List<Variable>/*!*/ outs, out QKeyValue kv) {
 	void 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>();
 		
 		if (la.kind == 38) {
 			Get();
@@ -1926,7 +1926,7 @@ out QKeyValue kv, out Trigger trig, out Expr/*!*/ body) {
 		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;
 		
-- 
cgit v1.2.3