From b9e8031ac88d51facbff4fe5dc635696174d0fe0 Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Sat, 27 Nov 2010 05:45:36 +0000
Subject: 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.

---
 Source/Model/Model.csproj | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/Model/Model.csproj')

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
-- 
cgit v1.2.3