diff options
| -rw-r--r-- | Source/GPUVerify/BlockPredicator.cs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Source/GPUVerify/BlockPredicator.cs b/Source/GPUVerify/BlockPredicator.cs index 99c36af7..6521960c 100644 --- a/Source/GPUVerify/BlockPredicator.cs +++ b/Source/GPUVerify/BlockPredicator.cs @@ -199,8 +199,9 @@ class BlockPredicator { new TypedIdent(Token.NoToken, "fp", Microsoft.Boogie.Type.Bool), /*incoming=*/true); - dwf.InParams = new VariableSeq((dwf.InParams + new VariableSeq(fpVar)) - .Cast<Variable>().ToArray()); + dwf.InParams = new VariableSeq( + (new Variable[] {fpVar}.Concat(dwf.InParams.Cast<Variable>())) + .ToArray()); } var impl = decl as Implementation; if (impl != null) |