diff options
| author |  Unknown <akashl@MSRI-Akashlal.fareast.corp.microsoft.com> | 2011-06-23 20:33:18 +0530 |
|---|---|---|
| committer | Unknown <akashl@MSRI-Akashlal.fareast.corp.microsoft.com> | 2011-06-23 20:33:18 +0530 |
| commit | 75935b901d668ab0a4def992d9825b6cc394565c (patch) | |
| tree | b92899b171af9e64eccf70f823304fe9fec09f8f /Source | |
| parent | 2b30cf9c15df211baf5e4371b3134363d6b598f0 (diff) | |
Didn't intend to include Z3api by default
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index ec28a910..af0926fe 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -192,10 +192,6 @@ <Project>{A598ED5A-93AD-4125-A555-3921A2F936FA}</Project>
<Name>TPTP</Name>
</ProjectReference>
- <ProjectReference Include="..\Provers\Z3api\Z3api.csproj">
- <Project>{966DD87B-A29D-4F3C-9406-F680A61DC0E0}</Project>
- <Name>Z3api</Name>
- </ProjectReference>
<ProjectReference Include="..\Provers\Z3\Z3.csproj">
<Project>{BB49B90B-BE21-4BE8-85BA-359FDB55F4DF}</Project>
<Name>Z3</Name>
|