diff options
author | Ally Donaldson <unknown> | 2013-07-22 23:03:55 +0100 |
---|---|---|
committer | Ally Donaldson <unknown> | 2013-07-22 23:03:55 +0100 |
commit | 350d32403f7441df525f871f3853ca9b660211fe (patch) | |
tree | 08883f3535bcddedf088d77e1a8dd532415a1154 /Source/Core/AbsyExpr.cs | |
parent | 07e15dce2315f99bcbc7b3aa558653feec9de906 (diff) |
All ...Seq classes now gone
Diffstat (limited to 'Source/Core/AbsyExpr.cs')
-rw-r--r-- | Source/Core/AbsyExpr.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs index dcc6d6e2..70ce610d 100644 --- a/Source/Core/AbsyExpr.cs +++ b/Source/Core/AbsyExpr.cs @@ -1494,7 +1494,7 @@ namespace Microsoft.Boogie { // quick path
return Type.Bool;
}
- TypeVariableSeq/*!*/ unifiable = new TypeVariableSeq();
+ List<TypeVariable>/*!*/ unifiable = new List<TypeVariable>();
unifiable.AddRange(arg0type.FreeVariables);
unifiable.AddRange(arg1type.FreeVariables);
|