diff options
Diffstat (limited to 'Source/Provers/Z3api/Z3api.csproj')
| -rw-r--r-- | Source/Provers/Z3api/Z3api.csproj | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Source/Provers/Z3api/Z3api.csproj b/Source/Provers/Z3api/Z3api.csproj index a659c3f2..19b6348a 100644 --- a/Source/Provers/Z3api/Z3api.csproj +++ b/Source/Provers/Z3api/Z3api.csproj @@ -82,10 +82,6 @@ <HintPath>..\..\..\Binaries\Microsoft.Z3.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.Core">
<RequiredTargetFramework>3.5</RequiredTargetFramework>
</Reference>
|