diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-05-31 21:06:49 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-05-31 21:06:49 +0100 |
| commit | 322190320366b773822718eb15b2273448a5e02e (patch) | |
| tree | ef1739cf5f77a4398cc97f6b25ec74481c12ec8b /Source/GPUVerify | |
| parent | 3a1932a46ac936d80ba87916f38d4450f55adc48 (diff) | |
GPUVerify: use Concat instead of PureCollections.Sequence.operator+
Diffstat (limited to 'Source/GPUVerify')
| -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) |