diff options
Diffstat (limited to 'Source/VCGeneration/ExprExtensions.cs')
-rw-r--r-- | Source/VCGeneration/ExprExtensions.cs | 2 |
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);
}
|