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/Model/Model.csproj | |
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/Model/Model.csproj')
-rw-r--r-- | Source/Model/Model.csproj | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Model/Model.csproj b/Source/Model/Model.csproj index 24c1be1f..5590a310 100644 --- a/Source/Model/Model.csproj +++ b/Source/Model/Model.csproj @@ -10,7 +10,7 @@ <AppDesignerFolder>Properties</AppDesignerFolder>
<RootNamespace>Microsoft.Boogie</RootNamespace>
<AssemblyName>Model</AssemblyName>
- <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
+ <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
<TargetFrameworkProfile />
</PropertyGroup>
@@ -53,4 +53,4 @@ <Target Name="AfterBuild">
</Target>
-->
-</Project>
+</Project>
\ No newline at end of file |