summaryrefslogtreecommitdiff
path: root/Source/VCGeneration/ExprExtensions.cs
diff options
context:
space:
mode:
authorGravatar Ally Donaldson <unknown>2013-07-22 21:17:07 +0100
committerGravatar Ally Donaldson <unknown>2013-07-22 21:17:07 +0100
commit12f3c4d7f530265c966bc72764d17e08a47aa4c0 (patch)
tree8d9f4c144e88ebe5c748042fcb07b0474a64d1f2 /Source/VCGeneration/ExprExtensions.cs
parent42bf19b1e4fdde3d3a936a11d2e9eeb95ddd43dd (diff)
Started to remove ...Seq classes
Diffstat (limited to 'Source/VCGeneration/ExprExtensions.cs')
-rw-r--r--Source/VCGeneration/ExprExtensions.cs2
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/ExprExtensions.cs b/Source/VCGeneration/ExprExtensions.cs
index 7ebba061..2bdb4af7 100644
--- a/Source/VCGeneration/ExprExtensions.cs
+++ b/Source/VCGeneration/ExprExtensions.cs
@@ -159,7 +159,7 @@ namespace Microsoft.Boogie.ExprExtensions
public FuncDecl MkFuncDecl(string name, Sort rng)
{
- Function g = new Function(Token.NoToken, name, new VariableSeq(), new Constant(Token.NoToken, new TypedIdent(Token.NoToken, "dummy",rng)));
+ Function g = new Function(Token.NoToken, name, new List<Variable>(), new Constant(Token.NoToken, new TypedIdent(Token.NoToken, "dummy",rng)));
return BoogieFunctionOp(g);
}