diff options
Diffstat (limited to 'Source/Core/BitvectorAnalysis.cs')
-rw-r--r-- | Source/Core/BitvectorAnalysis.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/BitvectorAnalysis.cs b/Source/Core/BitvectorAnalysis.cs index 0bd3123b..a555352b 100644 --- a/Source/Core/BitvectorAnalysis.cs +++ b/Source/Core/BitvectorAnalysis.cs @@ -528,7 +528,7 @@ namespace Microsoft.Boogie { DiscoverIntAndBv32Functions(program);
BvType bv32Type = new BvType(32);
- List<Variable> bv32In = new List<Variable>(new Formal(Token.NoToken, new TypedIdent(Token.NoToken, "in", bv32Type), true));
+ List<Variable> bv32In = new List<Variable> { new Formal(Token.NoToken, new TypedIdent(Token.NoToken, "in", bv32Type), true) };
Formal bv32Out = new Formal(Token.NoToken, new TypedIdent(Token.NoToken, "out", bv32Type), false);
bv32Id = new Function(Token.NoToken, "bv32Id", bv32In, bv32Out);
bv32Id.Body = new IdentifierExpr(Token.NoToken, bv32In[0]);
|