From 322190320366b773822718eb15b2273448a5e02e Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Thu, 31 May 2012 21:06:49 +0100
Subject: GPUVerify: use Concat instead of PureCollections.Sequence.operator+

---
 Source/GPUVerify/BlockPredicator.cs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Source')

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)
-- 
cgit v1.2.3