From 4fc6dbf641b052c0c39ccdea387a6cc6b5c511fd Mon Sep 17 00:00:00 2001 From: Rustan Leino Date: Thu, 4 Oct 2012 14:14:39 -0700 Subject: Updates of various .sln and .*proj files --- Source/Jennisys.sln | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Source/Jennisys.sln') diff --git a/Source/Jennisys.sln b/Source/Jennisys.sln index 3f213e27..539d6971 100644 --- a/Source/Jennisys.sln +++ b/Source/Jennisys.sln @@ -1,12 +1,12 @@  -Microsoft Visual Studio Solution File, Format Version 11.00 -# Visual Studio 2010 +Microsoft Visual Studio Solution File, Format Version 12.00 +# Visual Studio 2012 Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "Jennisys", "Jennisys\Jennisys.fsproj", "{F2FF4B3A-2FE8-474A-88DF-6950F7D78908}" ProjectSection(ProjectDependencies) = postProject {ACEF88D5-DADD-46DA-BAE1-2144D63F4C83} = {ACEF88D5-DADD-46DA-BAE1-2144D63F4C83} EndProjectSection EndProject -Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Model", "..\Source\Model\Model.csproj", "{ACEF88D5-DADD-46DA-BAE1-2144D63F4C83}" +Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Model", "..\..\boogie\Source\Model\Model.csproj", "{ACEF88D5-DADD-46DA-BAE1-2144D63F4C83}" EndProject Global GlobalSection(SolutionConfigurationPlatforms) = preSolution -- cgit v1.2.3