diff options
Diffstat (limited to 'Source/Core/Parser.cs')
| -rw-r--r-- | Source/Core/Parser.cs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs index f6347b37..ed5b88ae 100644 --- a/Source/Core/Parser.cs +++ b/Source/Core/Parser.cs @@ -208,7 +208,7 @@ private class BvBounds : Expr { void BoogiePL() {
VariableSeq/*!*/ vs;
- DeclarationSeq/*!*/ ds;
+ List<Declaration>/*!*/ ds;
Axiom/*!*/ ax;
List<Declaration/*!*/>/*!*/ ts;
Procedure/*!*/ pr;
@@ -320,9 +320,9 @@ private class BvBounds : Expr { Expect(8);
}
- void Function(out DeclarationSeq/*!*/ ds) {
+ void Function(out List<Declaration>/*!*/ ds) {
Contract.Ensures(Contract.ValueAtReturn(out ds) != null);
- ds = new DeclarationSeq(); IToken/*!*/ z;
+ ds = new List<Declaration>(); IToken/*!*/ z;
IToken/*!*/ typeParamTok;
var typeParams = new TypeVariableSeq();
var arguments = new VariableSeq();
|