diff options
Diffstat (limited to 'Source/Core/Parser.cs')
| -rw-r--r-- | Source/Core/Parser.cs | 4 |
1 files changed, 2 insertions, 2 deletions
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;
|