diff options
| author |  qadeer <unknown> | 2010-11-27 05:45:36 +0000 |
|---|---|---|
| committer | qadeer <unknown> | 2010-11-27 05:45:36 +0000 |
| commit | b9e8031ac88d51facbff4fe5dc635696174d0fe0 (patch) | |
| tree | 05dedc70ca0258e67445920d7046bcfc1c4cc22f /Source/VCExpr/LetBindingSorter.cs | |
| parent | d6bc9bf0a6eac0d8eb3b551c6da1d7754a10a6a1 (diff) | |
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. Removed references to Microsoft.Contracts.dll everywhere since that is available in .NET Framework 4.0.
Diffstat (limited to 'Source/VCExpr/LetBindingSorter.cs')
0 files changed, 0 insertions, 0 deletions