diff options
| author |  tabarbe <unknown> | 2010-07-30 23:46:48 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-30 23:46:48 +0000 |
| commit | df2c4c1633ee36f5183b325198d31ecb47108002 (patch) | |
| tree | fbccd1f44057b369bb424ee2149400e2b8356b4f /Source/Provers/SMTLib/SMTLib.csproj | |
| parent | 71d2692bc427232d71707d3b241ee90b6278b06b (diff) | |
Boogie: Removed cce.cs's from the provers, because they all reference projects which have a (more up-to-date) copy of cce.cs.
Diffstat (limited to 'Source/Provers/SMTLib/SMTLib.csproj')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLib.csproj | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj index 21c830fd..8a4846c0 100644 --- a/Source/Provers/SMTLib/SMTLib.csproj +++ b/Source/Provers/SMTLib/SMTLib.csproj @@ -79,7 +79,6 @@ <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
- <Compile Include="cce.cs" />
<Compile Include="ProverInterface.cs" />
<Compile Include="SMTLibLineariser.cs" />
<Compile Include="TypeDeclCollector.cs" />
|