From 7923ffeab6f660d4687815ead12d2c54b0ad26f1 Mon Sep 17 00:00:00 2001
From: Unknown <afd@afd-THINK.home>
Date: Tue, 17 Jul 2012 15:46:41 +0100
Subject: GPUVerify only generates _READ/WRITE_OFFSET variabls if they do not
 already exist.  Did some tidying up of old source code - removed functions
 related to Y and Z offsets which we do not use any more.

---
 Source/GPUVerify/GPUVerify.csproj | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Source/GPUVerify/GPUVerify.csproj')

diff --git a/Source/GPUVerify/GPUVerify.csproj b/Source/GPUVerify/GPUVerify.csproj
index 9b3b08cb..d060ad8a 100644
--- a/Source/GPUVerify/GPUVerify.csproj
+++ b/Source/GPUVerify/GPUVerify.csproj
@@ -104,7 +104,6 @@
   </ItemGroup>
   <ItemGroup>
     <Compile Include="AccessCollector.cs" />
-    <Compile Include="AccessInvariantProcessor.cs" />
     <Compile Include="AccessRecord.cs" />
     <Compile Include="ArrayControlFlowAnalyser.cs" />
     <Compile Include="AsymmetricExpressionFinder.cs" />
-- 
cgit v1.2.3