diff options
author | 2012-04-20 17:44:03 -0700 | |
---|---|---|
committer | 2012-04-20 17:44:03 -0700 | |
commit | 4c54cedf8a081499583be60f164dbbb29c6c73ac (patch) | |
tree | b733122c22cc1c2d308f392f09ddb91a9dcc7db1 /Source/GPUVerify/GPUVerify.csproj | |
parent | fac1595ae3f1a5f6f19017f3073f91d3a9ec5968 (diff) | |
parent | c3a39f3cc1924ce8332b89db501c99b8822d5892 (diff) |
Merge
Diffstat (limited to 'Source/GPUVerify/GPUVerify.csproj')
-rw-r--r-- | Source/GPUVerify/GPUVerify.csproj | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Source/GPUVerify/GPUVerify.csproj b/Source/GPUVerify/GPUVerify.csproj index b767816c..9881b0f0 100644 --- a/Source/GPUVerify/GPUVerify.csproj +++ b/Source/GPUVerify/GPUVerify.csproj @@ -152,10 +152,6 @@ <Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
- <ProjectReference Include="..\BoogieDriver\BoogieDriver.csproj">
- <Project>{DAB6BAA4-7AF7-449F-96AB-F58F34D03A7A}</Project>
- <Name>BoogieDriver</Name>
- </ProjectReference>
<ProjectReference Include="..\Core\Core.csproj">
<Project>{B230A69C-C466-4065-B9C1-84D80E76D802}</Project>
<Name>Core</Name>
|