From 45638021e2d82e5cd16621ce5a0909ba9804eeaf Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 21 May 2013 14:13:05 -0700
Subject: Updated several project files.

Note that the 'boogie' directory is expected to be a sibling of the
'dafny' directory.
---
 Source/Jennisys/Jennisys.fsproj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Jennisys')

diff --git a/Source/Jennisys/Jennisys.fsproj b/Source/Jennisys/Jennisys.fsproj
index 2215ba83..36ce3a47 100644
--- a/Source/Jennisys/Jennisys.fsproj
+++ b/Source/Jennisys/Jennisys.fsproj
@@ -93,7 +93,7 @@
     <Reference Include="System.Numerics" />
   </ItemGroup>
   <ItemGroup>
-    <ProjectReference Include="..\..\..\..\boogie\Source\Model\Model.csproj">
+    <ProjectReference Include="..\..\..\boogie\Source\Model\Model.csproj">
       <Name>Model</Name>
       <Project>{acef88d5-dadd-46da-bae1-2144d63f4c83}</Project>
       <Private>True</Private>
-- 
cgit v1.2.3