diff options
Diffstat (limited to 'Source/Jennisys.sln')
| -rw-r--r-- | Source/Jennisys.sln | 6 |
1 files changed, 3 insertions, 3 deletions
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
|