diff options
Diffstat (limited to 'Source/GPUVerify/GPUVerify.csproj')
| -rw-r--r-- | Source/GPUVerify/GPUVerify.csproj | 1 |
1 files changed, 0 insertions, 1 deletions
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" />
|