diff options
| author |  qadeer <unknown> | 2010-12-01 05:43:17 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-12-01 05:43:17 +0000 |
| commit | 5db34109bbb72d290239dfdb571d321fe3f1c48c (patch) | |
| tree | 50c5ba304226e584a8cbf7c03a7480a3d0a65def /Source/VCGeneration/VCGeneration.csproj | |
| parent | 95ff970b12779a1c0e814084100a0e88e6cc1c3d (diff) | |
Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln
Diffstat (limited to 'Source/VCGeneration/VCGeneration.csproj')
| -rw-r--r-- | Source/VCGeneration/VCGeneration.csproj | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Source/VCGeneration/VCGeneration.csproj b/Source/VCGeneration/VCGeneration.csproj index b2d514f6..9906070a 100644 --- a/Source/VCGeneration/VCGeneration.csproj +++ b/Source/VCGeneration/VCGeneration.csproj @@ -99,15 +99,7 @@ <CodeAnalysisIgnoreBuiltInRules>true</CodeAnalysisIgnoreBuiltInRules>
</PropertyGroup>
<ItemGroup>
- <Reference Include="Microsoft.SpecSharp.Runtime, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
- <SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\Binaries\Microsoft.SpecSharp.Runtime.dll</HintPath>
- </Reference>
<Reference Include="System" />
- <Reference Include="System.Compiler.Runtime, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
- <SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\Binaries\System.Compiler.Runtime.dll</HintPath>
- </Reference>
<Reference Include="System.Data" />
<Reference Include="System.Xml" />
</ItemGroup>
|