diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 21:17:07 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 21:17:07 +0100 |
| commit | 12f3c4d7f530265c966bc72764d17e08a47aa4c0 (patch) | |
| tree | 8d9f4c144e88ebe5c748042fcb07b0474a64d1f2 /Source/Core/TypeAmbiguitySeeker.cs | |
| parent | 42bf19b1e4fdde3d3a936a11d2e9eeb95ddd43dd (diff) | |
Started to remove ...Seq classes
Diffstat (limited to 'Source/Core/TypeAmbiguitySeeker.cs')
| -rw-r--r-- | Source/Core/TypeAmbiguitySeeker.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/TypeAmbiguitySeeker.cs b/Source/Core/TypeAmbiguitySeeker.cs index d878791b..1293dd1b 100644 --- a/Source/Core/TypeAmbiguitySeeker.cs +++ b/Source/Core/TypeAmbiguitySeeker.cs @@ -92,7 +92,7 @@ namespace Microsoft.Boogie { return base.VisitMapTypeProxy(node);
TypeVariableSeq/*!*/ typeParams = new TypeVariableSeq();
- TypeSeq/*!*/ arguments = new TypeSeq();
+ List<Type>/*!*/ arguments = new List<Type>();
for (int i = 0; i < node.Arity; ++i) {
TypeVariable/*!*/ param = new TypeVariable(Token.NoToken, "arg" + i);
Contract.Assert(param != null);
|