diff options
| author |  rustanleino <unknown> | 2011-01-13 01:20:30 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2011-01-13 01:20:30 +0000 |
| commit | 4a3b3e6d50109c4f39c33f8d5af68d329e2b1354 (patch) | |
| tree | dc9bf39607e301232b598f92ed70eb104b7aa454 /Source/DafnyDriver/DafnyDriver.csproj | |
| parent | ee4867783495bba5a4d2041990cba5ebf4067078 (diff) | |
Dafny: Fixed some build issues with duplicated and malformed Code Contracts.
Diffstat (limited to 'Source/DafnyDriver/DafnyDriver.csproj')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.csproj | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj index d577c048..fb68eefd 100644 --- a/Source/DafnyDriver/DafnyDriver.csproj +++ b/Source/DafnyDriver/DafnyDriver.csproj @@ -110,7 +110,6 @@ </Reference>
</ItemGroup>
<ItemGroup>
- <Compile Include="cce.cs" />
<Compile Include="DafnyDriver.cs" />
<Compile Include="..\version.cs" />
</ItemGroup>
|